mirror of
https://github.com/git/git.git
synced 2026-03-27 17:10:07 +01:00
The result should be consistent between fetch and push, so we ought to use the same code in both cases, even though it's short. Signed-off-by: Daniel Barkalow <barkalow@iabervon.org> Signed-off-by: Junio C Hamano <gitster@pobox.com>
3.5 KiB
3.5 KiB