diff options
author | Junio C Hamano <gitster@pobox.com> | 2009-02-08 22:31:21 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-02-10 22:26:49 -0800 |
commit | 747ca2455a8dd4e255358f5f96773f84259408c3 (patch) | |
tree | de51c7888f7b9bbaa2dc30aed33c66c91bac3218 /contrib/patches | |
parent | Drop double-semicolon in C (diff) | |
download | tgif-747ca2455a8dd4e255358f5f96773f84259408c3.tar.xz |
receive-pack: receive.denyDeleteCurrent
This is a companion patch to the recent 3d95d92 (receive-pack: explain
what to do when push updates the current branch, 2009-01-31).
Deleting the current branch from a remote will result in the next clone
from it not check out anything, among other things. It also is one of the
cause that makes remotes/origin/HEAD a dangling symbolic ref. This patch
still allows the traditional behaviour but with a big warning, and promises
that the default will change to 'refuse' in a future release.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/patches')
0 files changed, 0 insertions, 0 deletions