posts:Git:notes: add a quick intro to `git notes`.