English ▾ 主题 ▾ 最新版本 ▾ 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

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

讨论

给定两个提交 ABgit merge-base A B 将输出一个可以通过父关系从 AB 访问的提交。

例如,对于此拓扑

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

AB 之间的合并基础是 1

给定三个提交 ABCgit merge-base A B C 将计算 A 和假设提交 M 之间的合并基础,MBC 之间的合并。 例如,对于此拓扑

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

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

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

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

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

当历史记录涉及交叉合并时,两个提交可能存在多个最佳公共祖先。 例如,对于此拓扑

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

12 都是 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

来代替。

关于 fork-point 模式的讨论

在使用 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。 假设你现在想将你在主题上所做的工作变基到更新的 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 知道的远程跟踪分支的旧提示),以查看你的主题分支构建在哪个提交上并找到 B0,从而允许你仅重放主题上的提交,而不包括另一方后来丢弃的提交。

因此

$ 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 模式的远程跟踪分支必须是你主题从其提示分叉的分支。 如果你从比提示更旧的提交分叉,则此模式将找不到分叉点(想象一下在上面的示例历史记录中 B0 不存在,origin/master 从 B1 开始,移动到 B2,然后移动到 B,并且你从 origin/master^ 分叉你的主题,当 origin/master 是 B1 时;历史记录的形状将与上面相同,没有 B0,并且 B1 的父级是 git merge-base origin/master topic 正确找到的内容,但 --fork-point 模式不会,因为它不是曾经位于 origin/master 提示的提交之一)。

GIT

git[1] 套件的一部分

scroll-to-top