push: factor out the detached HEAD error message
authorRamkumar Ramachandra <artagnon@gmail.com>
Wed, 29 May 2013 19:21:49 +0000 (00:51 +0530)
committerJunio C Hamano <gitster@pobox.com>
Wed, 29 May 2013 19:31:10 +0000 (12:31 -0700)
commit35ee69c...f6c77f293b66125d334467d9692ef866
treea23b025...2cc34070e0d195a2048ffd8bc36e1fd8copy hash to clipboard (tree)
parentedca415...560522a431a51fc0a06147fc680b5b18copy hash to clipboard (diff)
builtin/push.c