mirror of
https://github.com/git/git.git
synced 2025-12-23 12:14:22 +01:00
This is used by "git pull" to construct a merge message from list of remote refs. When pulling redundant set of refs, however, it did not filter them even though the merge itself discards them as unnecessary. Teach the command to do the same for consistency. Signed-off-by: Junio C Hamano <gitster@pobox.com>
3.5 KiB
Executable File
3.5 KiB
Executable File