mirror of
https://github.com/git/git.git
synced 2025-03-30 05:42:06 +00:00
This has been proposed for a few times without much reaction from the list. Actually remove it to see who screams. Signed-off-by: Gerrit Pape <pape@smarden.org> Signed-off-by: Junio C Hamano <gitster@pobox.com>