stuck on git (again)

[Andreas Schwab]

Michael Cronenworth <mike at 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 at redhat.com
GPG Key fingerprint = D4E8 DBE3 3813 BB5D FA84  5EC7 45C6 250E 6F00 984E
"And now for something completely different."