From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 6 Jun 2013 19:19:00 +0000 (-0700)
Subject: Merge branch 'rr/push-head'
X-Git-Tag: v1.8.4-rc0~202
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=36a22e4b6c5c8a16c9a0ea308017c0cad2d1d679;p=thirdparty%2Fgit.git

Merge branch 'rr/push-head'

"git push $there HEAD:branch" did not resolve HEAD early enough, so
it was easy to flip it around while push is still going on and push
out a branch that the user did not originally intended when the
command was started.

* 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
---

36a22e4b6c5c8a16c9a0ea308017c0cad2d1d679