Disable pushToGithub.sh