1
0
mirror of https://github.com/git/git.git synced 2025-04-09 22:03:01 +00:00
git/builtin
Junio C Hamano 36a22e4b6c 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
2013-06-06 12:19:00 -07:00
..
2013-04-26 15:28:09 -07:00
2013-06-02 16:00:44 -07:00
2013-04-15 11:04:44 -07:00
2012-09-17 15:59:34 -07:00
2013-05-29 14:23:40 -07:00
2013-01-23 21:19:10 -08:00
2013-06-05 14:59:53 -07:00
2013-05-20 11:09:03 -07:00
2012-11-20 10:32:10 -08:00
2012-09-27 17:57:26 -07:00
2013-04-03 09:18:01 -07:00
2013-06-02 16:00:44 -07:00
2012-09-11 11:36:05 -07:00
2013-05-08 15:34:33 -07:00
2013-01-16 12:48:22 -08:00
2012-10-25 06:42:27 -04:00
2013-05-29 14:23:04 -07:00
2012-10-29 03:08:30 -04:00
2012-10-25 06:42:27 -04:00
2013-01-16 12:48:22 -08:00