Delete a git commit

I’ve been preparing a few (very preliminary) ports that I do not wish to push to my git repo with the rest. However, being tired and all, I did a git commit -a, so they ended up there. So far, whatever experience I’ve got with git, it was always by going forward… I did revert the commit, but wanted to know how to delete it completely.
Read the rest of this entry »