From f81315c8314d1a845aedc605c2a495a47cd453d7 Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 16 Sep 2026 10:42:32 -0700
Subject: [PATCH] basecheck: cull already-checked commits in bulk

---
 basecheck.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/basecheck.sh b/basecheck.sh
index 109f5659a6..d696bafce2 100755
--- a/basecheck.sh
+++ b/basecheck.sh
@@ -1,5 +1,8 @@
 #!/bin/sh
 
+basecheck=/var/tmp/basecheck.$$
+trap 'rm -f "$basecheck" "$basecheck".*' 0
+
 if test $# = 3 || test $# = 1
 then
 	commit=$1 base=${2-} target=${3-}
@@ -53,7 +56,10 @@ then
 	exit 0 ;# just in case
 fi
 
-git rev-list --max-parents=1 master..seen |
+git rev-list --max-parents=1 master..seen | sort >"$basecheck.1"
+sort <../git.one/:basecheck-tested-ok >"$basecheck.2"
+
+comm -23 "$basecheck.1" "$basecheck.2" |
 {
 	exit=
 	while read commit