Git question: Rebasing a user branch

[Andreas Schwab]

On Feb 04 2020, Bill Schmidt wrote:

> Looks fine to me, so lets try the force push:
>
> wschmidt@marlin:~/newgcc/gcc/config/rs6000$ git push --dry-run
> users/wschmidt +wschmidt/builtins

It looks like the leading + on the refspec suppresses matching against
the default push refspec.  I think that's a bug in git.  If you use the
-f option and remove + from the refspec, it should work as expected.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."