small change in deploy script to push to production origin