Delete push_to_git.sh