commit 18bb5485cda4ddfc5c2e7bbaffad980f2bf302a3
author Bence Szépkúti <bence.szepkuti@arm.com> Thu Oct 12 11:25:08 2023 +0200
committer Bence Szépkúti <bence.szepkuti@arm.com> Thu Aug 15 16:55:11 2024 +0200
tree 97565f9d21cf0f8e12a77baf17fe45e17ab7dff8
parent 2b209c6609a01c4c7b040b058f8c65dec042829b

Reduce GitHub API usage by trusting nobody

Checking for collaborator permissions requires GitHub API calls, and we
never change the Jenkinsfile in the repos, so fetch the upstream
Jenkinsfile unconditionally.

Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com>
Change-Id: Idfee2992c899925fda0b85b191dd501ef62031c7

mbed-tls-restricted-pr.yaml

diff --git a/mbed-tls-restricted-pr.yaml b/mbed-tls-restricted-pr.yaml
index 80e8042..b71dd5c 100644
--- a/mbed-tls-restricted-pr.yaml
+++ b/mbed-tls-restricted-pr.yaml
@@ -35,7 +35,7 @@
         repo: mbedtls-restricted
         branch-discovery: no-pr
         discover-pr-forks-strategy: both
-        discover-pr-forks-trust: permission
+        discover-pr-forks-trust: nobody
         discover-pr-origin: both
         head-filter-regex: '(?!^PR-(758|759|806|850|906|916|919)-(merge|head)$)(PR-\d+-(merge|head))'
         status-checks: