From: Steffen Prohaska <prohaska@zib.de>
Date: Wed, 21 Nov 2007 22:02:08 GMT
Subject: Re: Adding push configuration to .git/config
Message-ID: <90095755-2B2B-49DA-9841-7399CB53585A@zib.de>
In-Reply-To: <20071121105517.GA11875@denkbrett.schottelius.org>


On Nov 21, 2007, at 11:55 AM, Nico -telmich- Schottelius wrote:

> Hello guys!
>
> We are working pretty much with branches here and I think it would be
> pretty cool, to make git-push recognize some configuratio in
> ~/.git/config that describes where to push what:
>
>    git-push origin master:<name of worker> is what we currenty do
>    manually
>
> Nice would be
>
> [branch "master"]
>    remote-push          = origin
>    remote-push-merge    = another_branch

This was discussed in a similar form here:

http://marc.info/?l=git&m=119384331712996&w=2
http://marc.info/?l=git&m=119400354601328&w=2

So, yes, I think it would be very useful.  I did not yet find
time to implement it.


> And thus perhaps also changing the existing specs:
>
>    remote = ... to remote-fetch = ...
>    merge = ... to remote-fetch-merge =

This is a logical consequence.  It gives more freedom to pull
from one repo and push to another one.

I'm not fully convinced, though, of the configuration names
you propose.  However, I have no better suggestion right away.


> And perhaps it would also make sense to replace "refs/heads/master"  
> with
> only "master"?

No.  We use full refnames everywhere.  I think we should stick
with them.

	Steffen