Josh Stone <[email protected]> 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://[email protected]/foo

Or more general:

[url "ssh://pkgs.fedoraproject.org/"]
        pushinsteadof = git://pkgs.fedoraproject.org/

Andreas.

-- 
Andreas Schwab, [email protected]
GPG Key fingerprint = D4E8 DBE3 3813 BB5D FA84  5EC7 45C6 250E 6F00 984E
"And now for something completely different."
-- 
devel mailing list
[email protected]
https://admin.fedoraproject.org/mailman/listinfo/devel

Reply via email to