Re: So git pull is shorthand for what exactly?

From: Andrew Dunstan <adunstan(at)postgresql(dot)org>
To:
Cc: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, 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:14:48
Message-ID: 4CA61708.1040801@postgresql.org
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 Andrew Dunstan 2010-10-01 17:21:38 Re: So git pull is shorthand for what exactly?
Previous Message Andrew Dunstan 2010-10-01 17:08:45 Re: So git pull is shorthand for what exactly?