On 2010-08-25 16:55, Andreas Schwab wrote: > Michael Cronenworth <mike@xxxxxxxxxx> 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. > -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
