[prev in list] [next in list] [prev in thread] [next in thread]
List: git
Subject: Re: Adding push configuration to .git/config
From: Jakub Narebski <jnareb () gmail ! com>
Date: 2007-11-30 0:37:59
Message-ID: finm18$9rk$2 () ger ! gmane ! org
[Download RAW message or body]
Junio C Hamano wrote:
> IIRC, there was a suggestion to enhance remote.$name configuration in
> this way instead, so that you can use different URL for fetching and
> pushing:
>
> [branch "foo"]
> remote = "there"
> merge = refs/heads/master
>
> [remote "there"]
> url = git://git.there.xz/repo.git
> push_url = git.there.xz:repo.git
> push_url = git.there.xz:backup.git
> fetch = refs/heads/*:refs/remotes/there/*
>
> I further vaguely recall that the comments on the alternative were
> positive (it might have been you who responded, or somebody else, I do
> not remember).
If I remember correctly one of the suggestions was to allow for multiple
URLs, and for fetch use _first_ one that responds, for push use _all_
that are _possible_ to push to. Or at least support multiple url for
push; this way you would have to configure separate remote for fetch and
for push, but you would have to push only once to push to all repos.
But push_url, or pushURL seems like better idea, IMHO.
--
Jakub Narebski
Warsaw, Poland
ShadeHawk on #git
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic