简体中文 ▾ 主题 ▾ 最新版本 ▾ git-merge-base 最后更新于 2.43.0

名称

git-merge-base - 尽可能找到合并的最佳共同祖先

概要

git merge-base [-a | --all] <commit> <commit>…​
git merge-base [-a | --all] --octopus <commit>…​
git merge-base --is-ancestor <commit> <commit>
git merge-base --independent <commit>…​
git merge-base --fork-point <ref> [<commit>]

描述

git merge-base 查找三方合并中使用的两个提交之间的最佳共同祖先。如果一个共同祖先是另一个共同祖先的祖先，则前者比后者“更好”。没有更好共同祖先的共同祖先是“最佳共同祖先”，即“合并基础”。请注意，一对提交可能不止一个合并基础。

操作模式

在最常见的一种特殊情况下，仅在命令行上指定两个提交意味着计算给定两个提交之间的合并基础。

更一般地，在用于计算合并基础的两个提交中，一个由命令行上的第一个提交参数指定；另一个提交是（可能是假设的）一个合并了命令行上所有其余提交的提交。

因此，如果指定了两个以上的提交，则“合并基础”不一定包含在每个提交参数中。这与使用 --merge-base 选项的 git-show-branch[1] 不同。

--octopus

计算所有提供的提交的最佳共同祖先，为 n 方合并做准备。这模仿了 git show-branch --merge-base 的行为。

--independent

不打印合并基础，而是打印提供的提交的最小子集，它们具有相同的祖先。换句话说，在给定的提交中，列出那些无法从任何其他提交到达的提交。这模仿了 git show-branch --independent 的行为。

--is-ancestor

检查第一个 <commit> 是否是第二个 <commit> 的祖先，如果是，则以状态 0 退出，否则以状态 1 退出。错误由非 1 的非零状态信号。

--fork-point

查找一个分支（或导致 <commit> 的任何历史记录）从另一个分支（或任何 <ref>）分叉的点。这不仅仅是查找两个提交的共同祖先，还考虑了 <ref> 的 reflog，以查看导致 <commit> 的历史记录是否从 <ref> 的早期版本分叉（参见下文对该模式的讨论）。

选项

-a
--all

输出所有提交的合并基础，而不是只输出一个。

讨论

给定两个提交 A 和 B，git merge-base A B 将输出一个通过父关系可以从 A 和 B 达到的提交。

例如，在这种拓扑结构下

	 o---o---o---B
	/
---o---1---o---o---o---A

A 和 B 之间的合并基础是 1。

给定三个提交 A、B 和 C，git merge-base A B C 将计算 A 和一个假设的提交 M 之间的合并基础，M 是 B 和 C 的合并。例如，在这种拓扑结构下

       o---o---o---o---C
      /
     /   o---o---o---B
    /   /
---2---1---o---o---o---A

结果 git merge-base A B C 是 1。这是因为带有 B 和 C 之间合并提交 M 的等效拓扑是

       o---o---o---o---o
      /                 \
     /   o---o---o---o---M
    /   /
---2---1---o---o---o---A

而 git merge-base A M 的结果是 1。提交 2 也是 A 和 M 之间的共同祖先，但 1 是更好的共同祖先，因为 2 是 1 的祖先。因此，2 不是合并基础。

git merge-base --octopus A B C 的结果是 2，因为 2 是所有提交的最佳共同祖先。

当历史记录涉及交叉合并时，两个提交可能不止一个“最佳”共同祖先。例如，在这种拓扑结构下

---1---o---A
    \ /
     X
    / \
---2---o---o---B

1 和 2 都是 A 和 B 的合并基础。两者之间没有优劣之分（它们都是“最佳”合并基础）。当未给定 --all 选项时，输出哪个最佳合并基础是不确定的。

检查两个提交 A 和 B 之间的“快进”状态的一个常见惯用法是（至少曾经是）计算 A 和 B 之间的合并基础，并检查它是否与 A 相同，在这种情况下，A 是 B 的祖先。你会在旧脚本中经常看到这个惯用法。

A=$(git rev-parse --verify A)
if test "$A" = "$(git merge-base A B)"
then
	... A is an ancestor of B ...
fi

在现代 Git 中，你可以用更直接的方式来表达

if git merge-base --is-ancestor A B
then
	... A is an ancestor of B ...
fi

代替。

关于分叉点模式的讨论

在使用 git switch -c topic origin/master 创建 topic 分支工作后，远程跟踪分支 origin/master 的历史记录可能已被回滚和重建，导致出现此形状的历史记录

		 o---B2
		/
---o---o---B1--o---o---o---B (origin/master)
	\
	 B0
	  \
	   D0---D1---D (topic)

其中 origin/master 曾经指向提交 B0、B1、B2，而现在它指向 B，并且你的 topic 分支在 origin/master 位于 B0 时启动，并且你在其之上构建了三个提交 D0、D1 和 D。试想一下，你现在想将你在 topic 上所做的工作变基到更新的 origin/master 之上。

在这种情况下，git merge-base origin/master topic 会返回上图中 B0 的父节点，但 B0^..D **不是** 你想要在 B 之上重放的提交范围（它包括 B0，这不是你写的内容；这是另一方从 B0 移动到 B1 时放弃的提交）。

git merge-base --fork-point origin/master topic 是为了在这种情况下提供帮助。它不仅考虑 B，还考虑 B0、B1 和 B2（即你的仓库 reflog 所知的远程跟踪分支的旧尖端），以确定你的 topic 分支是在哪个提交上构建的，并找到 B0，从而允许你只重放 topic 上的提交，排除另一方后来放弃的提交。

因此

$ fork_point=$(git merge-base --fork-point origin/master topic)

将找到 B0，并且

$ git rebase --onto origin/master $fork_point topic

将在 B 之上重放 D0、D1 和 D，以创建如下形状的新历史记录

		 o---B2
		/
---o---o---B1--o---o---o---B (origin/master)
	\                   \
	 B0                  D0'--D1'--D' (topic - updated)
	  \
	   D0---D1---D (topic - old)

需要注意的是，你的仓库中的旧 reflog 条目可能会被 git gc 过期。如果 B0 在远程跟踪分支 origin/master 的 reflog 中不再出现，则 --fork-point 模式显然无法找到它并会失败，从而避免给出随机且无用的结果（例如 B0 的父节点，就像不带 --fork-point 选项的相同命令会给出的那样）。

此外，你用于 --fork-point 模式的远程跟踪分支必须是你 topic 从其尖端分叉的分支。如果你从一个比尖端旧的提交分叉，这个模式将找不到分叉点（想象在上例历史记录中 B0 不存在，origin/master 从 B1 开始，移动到 B2 然后到 B，你在 origin/master 是 B1 时在 origin/master^ 分叉了你的 topic；历史记录的形状将与上面相同，没有 B0，而 git merge-base origin/master topic 正确找到的是 B1 的父节点，但 --fork-point 模式则不会，因为它不是 origin/master 尖端曾经是其中的一个提交）。

另请参阅

git-rev-list[1], git-show-branch[1], git-merge[1]

GIT

Git[1] 套件的一部分