Update push_https.sh