mirror of
https://github.com/git/git.git
synced 2026-05-18 17:35:38 +02:00
056724c624
...and pushurl_nr Signed-off-by: Michael J Gruber <git@drmicha.warpmail.net> Signed-off-by: Junio C Hamano <gitster@pobox.com>