commit | 747ca2455a8dd4e255358f5f96773f84259408c3 | [log] [tgz] |
---|---|---|
author | Junio C Hamano <gitster@pobox.com> | Sun Feb 08 22:31:21 2009 -0800 |
committer | Junio C Hamano <gitster@pobox.com> | Tue Feb 10 22:26:49 2009 -0800 |
tree | de51c7888f7b9bbaa2dc30aed33c66c91bac3218 | |
parent | ba19a808aa871f0eb20aaeeb205e086b04b726dc [diff] |
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>