Made some final changes to the github_sync script
Merge branch 'master' of https://github.com/pipsqueaker/pipsqueaker-scripts