diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2005-12-16 02:40:25 +0100 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-12-15 17:56:32 -0800 |
| commit | ee34518d629331dadd58b1a75294369d679eda8b (patch) | |
| tree | 133a5ff65d570298f838cead26db5b6ab226ac0d /Documentation/git-reset.txt | |
| parent | 06d900cf28117ad5260335ea9ab7533f223320bf (diff) | |
| download | git-ee34518d629331dadd58b1a75294369d679eda8b.tar.gz git-ee34518d629331dadd58b1a75294369d679eda8b.tar.xz | |
We do not like "HEAD" as a new branch name
This makes git-check-ref-format fail for "HEAD". Since the check is only
executed when creating refs, the existing symbolic ref is safe.
Otherwise these commands, most likely are pilot errors, would do
pretty funky stuff:
git checkout -b HEAD
git pull . other:HEAD
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-reset.txt')
0 files changed, 0 insertions, 0 deletions