Delete push_https.sh