Playing with git notes in GitHub