Delete push-github.sh