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 (fedpkg should have reverted to use matching branch names!) Andreas. -- Andreas Schwab, schwab@xxxxxxxxxx GPG Key fingerprint = D4E8 DBE3 3813 BB5D FA84 5EC7 45C6 250E 6F00 984E "And now for something completely different." -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
