Rename script.sh to push_to_github.sh