Josh Stone <jistone(a)redhat.com> 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@pkgs.fedoraproject.org/foo
Or more general:
[url "ssh://pkgs.fedoraproject.org/"]
pushinsteadof =
git://pkgs.fedoraproject.org/
Andreas.
--
Andreas Schwab, schwab(a)redhat.com
GPG Key fingerprint = D4E8 DBE3 3813 BB5D FA84 5EC7 45C6 250E 6F00 984E
"And now for something completely different."