push: fail early with detached HEAD and current
authorRamkumar Ramachandra <artagnon@gmail.com>
Wed, 29 May 2013 19:21:50 +0000 (00:51 +0530)
committerJunio C Hamano <gitster@pobox.com>
Wed, 29 May 2013 22:34:04 +0000 (15:34 -0700)
commit7b2ecd8...084adeba701c60da81eec6be478910b8
tree7fda9bb...955ec7f7898520934468dbae03b6f2c1copy hash to clipboard (tree)
parent35ee69c...f6c77f293b66125d334467d9692ef866copy hash to clipboard (diff)
builtin/push.c