deploy: allow push URL to be customised