mirror of
https://github.com/git/git.git
synced 2026-04-05 06:20:09 +02:00
It will take a bit more for the topic to mature; better to cook it a bit longer in the 'pu' branch. Signed-off-by: Junio C Hamano <gitster@pobox.com>