Git如何检查某分支是否是另一分支的严格后代分支

我需要确认分支X是Y的简单后代分支——具体来说，X的每一个提交要么是Y本身，要么以Y为祖先，同时X的提交链必须是线性的（不能有合并提交）。这和git merge --ff-only的逻辑不同：--ff-only只关心能否快进合并，即便X的历史里存在和Y无关的提交，只要Y是X的后代就允许操作，但我们要的是X完全基于Y的干净线性历史。

Git内置的检查方案 #

可以通过两个核心条件来验证，结合Git命令实现自动化检查：

1. 确认Y是X的祖先（或两者指向同一提交）
   用git merge-base命令判断祖先关系：

   git merge-base --is-ancestor Y X
   

   该命令返回0表示Y是X的祖先（或X与Y指向同一提交），返回非0则直接判定X不符合要求。

2. 确认X到Y之间无合并提交
   用git rev-list列出X中比Y新的合并提交：

   git rev-list --merges Y..X
   

   如果该命令有输出，说明X包含合并提交，不符合“简单后代”的要求。

   由于第一步已经确认Y是X的祖先，Y..X范围内的所有提交自然都以Y为祖先，所以只需确保没有合并提交即可。

组合成自动化检查脚本 #

把两个条件结合起来，就能写出完整的检查逻辑：

#!/bin/bash

# 检查分支Y是否是X的祖先
if ! git merge-base --is-ancestor "$1" "$2"; then
  echo "错误：分支$2不是$1的后代分支"
  exit 1
fi

# 检查X到Y之间是否存在合并提交
if git rev-list --merges "$1..$2" | grep -q .; then
  echo "错误：分支$2包含合并提交，不是$1的简单后代分支"
  exit 1
fi

echo "分支$2是$1的简单后代分支"
exit 0

使用时直接传入分支名：./check-simple-descendant.sh Y X

用途说明 #

这个检查能帮你在基于变基的工作流中，确保功能分支X是从主分支Y干净变基而来，没有混入无关的合并操作；还能捕捉常见错误场景——比如用户在变基后误用pull（而非push --force-with-lease）导致的历史混乱。

内容的提问来源于stack exchange，提问作者Ken Williams