> "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! Lbs