Use https for puppet repo clone url in env-push.sh