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 -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
