Michael Cronenworth <m...@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, sch...@redhat.com
GPG Key fingerprint = D4E8 DBE3 3813 BB5D FA84  5EC7 45C6 250E 6F00 984E
"And now for something completely different."
-- 
devel mailing list
devel@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/devel

Reply via email to