git tag -a -s x.y.z
git push --tags
Deleting the wiki page "Contributionguide" cannot be undone. Continue?