[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[gits] pushing a branch

> "git push central HEAD" should do what you want. 
> I believe Eric's suggestions are all correct too, but I think that 
> just saying HEAD is the easiest thing to do if you don't want to adjust 
> your config. 

Ah, very good. Thanks!