From 40fc144bbe595bad76ef803eda4584834afcbb8a Mon Sep 17 00:00:00 2001
From: Ville Brofeldt <33317356+villebro@users.noreply.github.com>
Date: Tue, 9 Mar 2021 08:27:59 +0200
Subject: [PATCH] ci: increase page size of GH PR API call (#13518)

---
 scripts/ci_check_no_file_changes.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/ci_check_no_file_changes.sh b/scripts/ci_check_no_file_changes.sh
index 80a89cc51..e03a6aca5 100755
--- a/scripts/ci_check_no_file_changes.sh
+++ b/scripts/ci_check_no_file_changes.sh
@@ -27,7 +27,7 @@ if [[ -z ${PR_NUMBER} ]]; then
   exit 1
 fi
 
-URL="https://api.github.com/repos/${GITHUB_REPO}/pulls/${PR_NUMBER}/files"
+URL="https://api.github.com/repos/${GITHUB_REPO}/pulls/${PR_NUMBER}/files?per_page=1000"
 FILES=$(curl -s -X GET -G "${URL}" | jq -r '.[] | .filename')
 
 REGEXES=()