Minor improvements to GitHub script