A test of using git notes with github