Tagging a pull request

Rationale

All changes made to this repository should be in the form of pull requests. The maintainers of the repository will tag pull requests with a new version. Each new tag will trigger a build from the docker container, ensuring that the new changes actually work.

Tagging

Note, this assumes you have made your changes in a new branch and are ready to test.

For maintainers, there are two potential avenues for tagging:

a. On github with a release b. On your machine with git tag

On github

Go to the new release page for this repository.

1. Add a tag that doesn't currently exist in the form vX.Y.Z using the principles of semantic versioning.
2. Set the target branch to your new branch.
3. Create a release title that describes what you did
4. Click on "Publish Release" at the bottom

On the command line

1. Make sure everything is up to date with git pull.
2. Check out your branch git checkout my-new-branch
3. Make sure everything is committed and make a tag with git tag -a v0.2.10 -m "add something"
4. git push
5. git push --tags