diff options
| author |  Junio C Hamano <junkio@cox.net> | 2007-01-09 17:37:50 -0800 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2007-01-09 17:44:59 -0800 |
| commit | 75b364dfe28cf1700ac4f519ff7d3e42505e17a6 (patch) | |
| tree | f62ec35e1a087ae0cda30dd6669429c3503d7e79 /grep.h | |
| parent | git-checkout: fix branch name output from the command (diff) | |
| download | tgif-75b364dfe28cf1700ac4f519ff7d3e42505e17a6.tar.xz | |
git-checkout: safety check for detached HEAD checks existing refs
Checking for reachability from refs does not help much if the
state we are currently on is somewhere in the middle. We will
lose where we were.
So this makes sureh that HEAD is something directly pointed at
by one of the existing refs (most likely a tag for a user who
has been "sightseeing").
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'grep.h')
0 files changed, 0 insertions, 0 deletions