如何自动化检测PR是否需基于目标分支变基以实现半线性历史

问题背景 #

我们团队要求PR合并前必须执行变基操作，以此维护半线性提交历史。目前已经通过GitHub的「要求分支保持最新」设置，加上git merge-base --is-ancestor命令，拦截了从目标分支祖先节点分叉的PR，但仍存在漏检场景：当PR分支包含合并提交时，目标分支虽能快进到PR分支，但PR分支里存在不属于目标分支提交路径的历史提交（比如示例中的d、f），这种情况现有检测手段无法识别。

我们需要验证PR满足以下三个核心条件：

• PR分支可从目标分支（main）快进
• main..pr_branch范围内的所有提交均为main的后代
• PR分支中的合并提交均为main的后代，且所有父提交都是main或其后代

目前已实现第一个条件的检测，现在需要找到高效实现第二个条件的Git原生方案，避免遍历每个提交执行git merge-base --is-ancestor。

核心解决方案：用git rev-list组合参数直接验证条件2 #

可以通过以下Git命令一次性完成条件2的检测，无需逐个提交验证：

git rev-list --not --reachable=main main..pr_branch

命令逻辑解释 #

• main..pr_branch：列出所有在pr_branch中但不在main中的提交
• --not --reachable=main：过滤掉所有能从main节点到达的提交（也就是main的后代）
• 如果命令输出为空，说明main..pr_branch里的所有提交都是main的后代，满足条件2；如果有输出，输出的提交就是不符合要求的节点（比如示例中的d、f）

完整检测脚本逻辑 #

结合三个条件，可写出如下完整检测逻辑：

# 检测条件1：main是否是pr_branch的祖先（即pr_branch可从main快进）
if [ "$(git merge-base main pr_branch)" = "$(git rev-parse main)" ]; then
  # 检测条件2：检查main..pr_branch中是否存在非main后代的提交
  if git rev-list --not --reachable=main main..pr_branch | grep -q .; then
    echo "PR分支存在不属于main提交路径的历史节点，需要执行变基"
    exit 1
  fi

  # 检测条件3：验证所有合并提交的父提交都是main或其后代
  git rev-list --merges main..pr_branch | while read merge_commit; do
    parents=$(git rev-parse "$merge_commit"^@)
    for parent in $parents; do
      if ! git merge-base --is-ancestor "$parent" main; then
        echo "合并提交$merge_commit存在非main后代的父提交，需要执行变基"
        exit 1
      fi
    done
  done

  echo "PR分支符合半线性提交要求"
  exit 0
else
  echo "PR分支未基于最新的main分支，需要执行变基"
  exit 1
fi

关于条件3的说明 #

条件3的循环检测开销通常很小，因为PR中的合并提交数量不会太多，不会带来性能问题。如果团队PR中合并提交极少，也可以选择暂时忽略这一步，后续根据实际情况补充。

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