Put them in comments on the commit on github. It's better to keep github stuff inside github. Your source code with your git history may move off github one day.