ci/check-cherry-picks: never use a pager

wolfgangwalther · github-actions[bot] · commit 7f5b7cda53d3 · 2025-05-28T13:55:53.000Z
In a small terminal window this would just stop running after each commit until you exit the pager. That's not what we want when running it locally. (cherry picked from commit 245b1c1)
diff --git a/ci/check-cherry-picks.sh b/ci/check-cherry-picks.sh
@@ -52,7 +52,7 @@ while read -r new_commit_sha ; do
       if git merge-base --is-ancestor "$original_commit_sha" "$picked_branch" ; then
         echo "  ✔ $original_commit_sha present in branch $picked_branch"
 
-        range_diff_common='git range-diff
+        range_diff_common='git --no-pager range-diff
           --no-notes
           --creation-factor=100
           '"$original_commit_sha~..$original_commit_sha"'
