tree 97565f9d21cf0f8e12a77baf17fe45e17ab7dff8
parent 2b209c6609a01c4c7b040b058f8c65dec042829b
author Bence Szépkúti <bence.szepkuti@arm.com> 1697102708 +0200
committer Bence Szépkúti <bence.szepkuti@arm.com> 1723733711 +0200

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