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, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
