Git notes

You can find a good reference for git notes here. Also, of course, git help notes. Notes can be used, for instance, to add extra information to a commit without actually changing the hash of the commit (as amend does). This proved useful when I had to add a note to correct an erroneous commit message that I also accidentally pushed to the server - the misc repository if you are wondering. And here’s my SO question that explains where I found out about this.