One Quickie

---

Moving a git tag to another revision. (git->Hacks)

github releases are based on tags. Sometimes when polishing a release you want to point it to a new tag. This is what I've used before:

% git tag -d release-cg-pt3
% git push origin :refs/tags/release-cg-pt3
% git status
% git tag release-cg-pt3 7f05a3de66
% git push origin master --tags

And the go to your github release page. It should say that the release has become a draft (due to the tag change). Edit it and republish it.