@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.
💡 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.