Josh Stone <jistone@xxxxxxxxxx> writes: > A git trick I'd like fedpkg to learn is to use separate url/pushurl, > e.g. in .git/config: > > [remote "origin"] > fetch = +refs/heads/*:refs/remotes/origin/* > url = git://pkgs.fedoraproject.org/foo > pushurl = ssh://user@xxxxxxxxxxxxxxxxxxxxxx/foo Or more general: [url "ssh://pkgs.fedoraproject.org/"] pushinsteadof = git://pkgs.fedoraproject.org/ 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
