Re: Wishlist for branch management

On 01/31/2010 05:31 PM, Björn Steinbrink wrote:

quoted

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.