Re: So git pull is shorthand for what exactly?

From: Andrew Dunstan <andrew(at)dunslane(dot)net>
To: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
Cc: Magnus Hagander <magnus(at)hagander(dot)net>, Aidan Van Dyk <aidan(at)highrise(dot)ca>, pgsql-hackers(at)postgresql(dot)org
Subject: Re: So git pull is shorthand for what exactly?
Date: 2010-10-01 17:21:38
Message-ID: 4CA618A2.8030102@dunslane.net
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

On 10/01/2010 01:08 PM, I wrote:
>
> "git push origin HEAD" pushes the current branch, whatever it might
> be. That might be a useful alias for you to set up.

Oh, and you can change the default by setting push.default to 'current'
instead of 'matching', which is the default default ;-) "man git-config"
for details.

cheers

andrew

In response to

Browse pgsql-hackers by date

  From Date Subject
Next Message Andres Freund 2010-10-01 17:23:40 Re: So git pull is shorthand for what exactly?
Previous Message Andrew Dunstan 2010-10-01 17:14:48 Re: So git pull is shorthand for what exactly?