From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 27 Jun 2013 21:38:17 +0000 (-0700)
Subject: Merge branch 'rr/push-head' into maint
X-Git-Tag: v1.8.3.2~5
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=6be17ec5828386c3ae17af26fac66f65f1c817ec;p=thirdparty%2Fgit.git

Merge branch 'rr/push-head' into maint

* rr/push-head:
  push: make push.default = current use resolved HEAD
  push: fail early with detached HEAD and current
  push: factor out the detached HEAD error message
---

6be17ec5828386c3ae17af26fac66f65f1c817ec