Re: Adding push configuration to .git/config

From: Steffen Prohaska <prohaska@zib.de>
Date: Nov 21, 2007, 22:02 UTC
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:

Show 14 quoted lines

> 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