Minor changes to github_process.sh