Comment by creshal

Or, alternatively:

1. Tag your release with `git tag -s`

2. `git push --follow-tags` (or `git push remotename tagname` in git <1.8.3)

3. Upload your pubkey to github.

Much less effort…