Update github_notes.txt