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

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.
This commit is contained in:
Wolfgang Walther 2025-05-28 14:56:08 +02:00
parent 2fea2bbf52
commit 245b1c1c48
No known key found for this signature in database
GPG key ID: B39893FA5F65CAE1

View file

@ -52,7 +52,7 @@ while read -r new_commit_sha ; do
if git merge-base --is-ancestor "$original_commit_sha" "$picked_branch" ; then if git merge-base --is-ancestor "$original_commit_sha" "$picked_branch" ; then
echo "$original_commit_sha present in branch $picked_branch" 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 --no-notes
--creation-factor=100 --creation-factor=100
'"$original_commit_sha~..$original_commit_sha"' '"$original_commit_sha~..$original_commit_sha"'