Push to prod (remember to change config.inc.php)
That'll teach me to push to separate repos