fix voor pushToGithub.sh