Modify the PR template after implementation of automatic release generation foo

[jsf9k]

💡 Summary

@mcdonnnj envisions a future world in which a developer pushes a version tag to a repo, and that in turn kicks off the automatic generation of a release via GitHub Actions. Should we end up implementing such a scheme, we would need to modify the last checkbox in the pull request template to read "Create a tag".

Motivation and context

The creation of this issue is @mcdonnnj's prerequisite for reviewing #47.