Re: So git pull is shorthand for what exactly?

On 10/01/2010 12:49 PM, Tom Lane wrote:
> Magnus Hagander<magnus(at)hagander(dot)net> writes:
>> On Fri, Oct 1, 2010 at 17:53, Tom Lane<tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>>> BTW, I've noticed that "git push" will reject an attempt to push an
>>> update in one branch if my other branches are not up to date, even
>>> if I am not trying to push anything for those branches. That's
>>> pretty annoying too; is there a way around that?
>> I admit I haven't tried it, but won't that get fixed if you push just
>> the current branch? E.g. "git push origin master"?
> I'll try that next time; I haven't gotten further than using git push's
> default behavior.

"git push origin HEAD" pushes the current branch, whatever it might be.
That might be a useful alias for you to set up.

cheers

andrew