Guides: Push tags to github

See git-tag on how to create a tag. E.g:

$ git tag -a -m "tagging version 1.0" 1.0

Use git-push with the --tags option to push them to the remote (github in this case).

$ git push --tags