git tag creation

https://stackoverflow.com/questions/18216991/create-a-tag-in-a-github-repository

git push origin --tags

git push origin <tag>