diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2016-09-01 15:38:02 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-09-02 09:01:38 -0700 |
| commit | 12cfa792b8657cfd37523df83df0a83d987570a5 (patch) | |
| tree | 8d79e6b3a0f2b1a4bf1e7b773a39d14751ff92c9 /prompt.h | |
| parent | Git 2.9.3 (diff) | |
| download | tgif-12cfa792b8657cfd37523df83df0a83d987570a5.tar.xz | |
symbolic-ref -d: do not allow removal of HEAD
If you delete the symbolic-ref HEAD from a repository, Git no longer
considers the repository valid, and even "git symbolic-ref HEAD
refs/heads/master" would not be able to recover from that state
(although "git init" can, but that is a sure sign that you are
talking about a "broken" repository).
In the spirit similar to afe5d3d5 ("symbolic ref: refuse non-ref
targets in HEAD", 2009-01-29), forbid removal of HEAD to avoid
corrupting a repository.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'prompt.h')
0 files changed, 0 insertions, 0 deletions