diff options
author | Junio C Hamano <gitster@pobox.com> | 2016-09-12 15:34:35 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-09-12 15:34:35 -0700 |
commit | d1de693d0d83b2d0d12320312ae523c7711bf627 (patch) | |
tree | 5cb1723525e1addde44e716de2471efc5826aa3b /http.c | |
parent | 293c232ab1dcfa08d650fa9c21377b1ef7b447dc (diff) | |
parent | 12cfa792b8657cfd37523df83df0a83d987570a5 (diff) | |
download | git-d1de693d0d83b2d0d12320312ae523c7711bf627.tar.gz |
Merge branch 'jc/forbid-symbolic-ref-d-HEAD'
"git symbolic-ref -d HEAD" happily removes the symbolic ref, but
the resulting repository becomes an invalid one. Teach the command
to forbid removal of HEAD.
* jc/forbid-symbolic-ref-d-HEAD:
symbolic-ref -d: do not allow removal of HEAD
Diffstat (limited to 'http.c')
0 files changed, 0 insertions, 0 deletions