A simple hack to make git notes a little bit more porcelain