Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use 'merge-base --all' where applicable.
It may get extra merge base on truly pathological commit histories, but is a lot easier to understand, explain, and prove correctness. Signed-off-by: Junio C Hamano <junkio@cox.net>
- Loading branch information