Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Merge branch 'rr/push-head' into maint
author
Junio C Hamano
<gitster@pobox.com>
Thu, 27 Jun 2013 21:38:17 +0000
(14:38 -0700)
committer
Junio C Hamano
<gitster@pobox.com>
Thu, 27 Jun 2013 21:38:17 +0000
(14:38 -0700)
* 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
raw
|
combined
(merge:
c9cae1e
0f075b2
)
Trivial merge