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

wolfgangwalther · wolfgangwalther · commit 245b1c1c4859 · 2025-05-28T14:56:55.000+02:00
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.
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"'
