Make gprm push -u first (to set base/head)