diff options
author | Ramkumar Ramachandra <artagnon@gmail.com> | 2013-05-30 00:51:49 +0530 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-05-29 12:31:10 -0700 |
commit | 35ee69c0f6c77f293b66125d334467d9692ef866 (patch) | |
tree | a23b02502cc34070e0d195a2048ffd8bc36e1fd8 /t | |
parent | Git 1.8.3 (diff) | |
download | tgif-35ee69c0f6c77f293b66125d334467d9692ef866.tar.xz |
push: factor out the detached HEAD error message
With push.default set to upstream or simple, and a detached HEAD, git
push prints the following error:
$ git push
fatal: You are not currently on a branch.
To push the history leading to the current (detached HEAD)
state now, use
git push ram HEAD:<name-of-remote-branch>
This error is not unique to upstream or simple: current cannot push with
a detached HEAD either. So, factor out the error string in preparation
for using it in current.
Signed-off-by: Ramkumar Ramachandra <artagnon@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't')
0 files changed, 0 insertions, 0 deletions