mirror of
https://github.com/git/git.git
synced 2026-03-23 15:10:07 +01:00
It is simply pointless, since no merges will ever happen in such a repository. Signed-off-by: Junio C Hamano <junkio@cox.net>
3.7 KiB
3.7 KiB