Fixup the github pull request template