Michael Cronenworth <mike(a)cchtml.com> writes:
Without that config option you need:
$ git push f13/master
The first argument is the repository to push to. Also, since local and
remote branch have different names you have to specify both.
$ git push origin f13:f13/master
(fedpkg should have reverted to use matching branch names!)
Andreas.
--
Andreas Schwab, schwab(a)redhat.com
GPG Key fingerprint = D4E8 DBE3 3813 BB5D FA84 5EC7 45C6 250E 6F00 984E
"And now for something completely different."