On 2010-08-25 16:55, Andreas Schwab wrote:
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
Thanks for a tip.
Marcin
(fedpkg should have reverted to use matching branch names!)
Andreas.