From: H. Peter Anvin <hpa@zytor.com>
Date: Mon, 01 Feb 2010 03:22:12 GMT
Subject: Re: Wishlist for branch management
Message-ID: <4B6648E4.6070805@zytor.com>
In-Reply-To: <20100201013155.GA11832@atjola.homenet>

On 01/31/2010 05:31 PM, Björn Steinbrink wrote:
> 
>> git push --current
>>
>> ... push the current branch, and only the current branch...
> 
> Unless you want to push to a different ref remotely, e.g. pushing
> refs/heads/master-public to refs/heads/master, you can use:
> 	git push <remote> HEAD
> 
> For example, when refs/heads/master is checked out, then:
> 	git push origin HEAD
> acts the same as:
> 	git push origin refs/heads/master
> 

Whatever is used, it should respect the configuration.  This requires
knowing what the configuration is set up as.

	-hpa

-- 
H. Peter Anvin, Intel Open Source Technology Center
I work for Intel.  I don't speak on their behalf.