When merging a pull request with our master branch, the master branch should be tagged with the current version.
Possible implementation:
Use github actions "on pull request" to run a make target (ci_tag?) and tag the master branch. Currently our Makefile has a variable (VERSION) storing the current version of the branch as well as a target that generates a VERSION file, both of which can be used for this issue.
When merging a pull request with our master branch, the master branch should be tagged with the current version.
Possible implementation:
Use github actions "on pull request" to run a make target (ci_tag?) and tag the master branch. Currently our Makefile has a variable (VERSION) storing the current version of the branch as well as a target that generates a VERSION file, both of which can be used for this issue.