[PATCH v2 0/3] Early HEAD resolution in push.default = current

From: Ramkumar Ramachandra <artagnon@gmail.com>
Date: May 29, 2013, 19:21 UTC
Message-ID: <1369855311-23367-1-git-send-email-artagnon@gmail.com>

The commit message in [3/3] is rewritten although I've mentioned the original motivation at the end.

No other changes.

Ramkumar Ramachandra (3):
  push: factor out the detached HEAD error message
  push: fail early with detached HEAD and current
  push: make push.default = current resolve HEAD early

 builtin/push.c | 20 +++++++++++++-------
 1 file changed, 13 insertions(+), 7 deletions(-)

-- 
1.8.3.12.gbd56588