mirror of
https://github.com/git/git.git
synced 2026-04-02 04:50:12 +02: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