mirror of
https://github.com/git/git.git
synced 2025-12-12 20:36:24 +01:00
Push has the clearer description, so take that one for all. Signed-off-by: Michael J Gruber <git@drmicha.warpmail.net> Signed-off-by: Junio C Hamano <gitster@pobox.com>
40 KiB
40 KiB