| commit | 18bb5485cda4ddfc5c2e7bbaffad980f2bf302a3 | [log] [tgz] |
|---|---|---|
| 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 [diff] |
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