Delete push-to-git.sh