Subject: Re: Wishlist for branch management

From: "H. Peter Anvin" <[email-masked]>
Date: Sun, 31 Jan 2010 19:22:12 -0800

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.