Rename push.sh to push_https.sh