As suggested here: https://github.com/jenkins-infra/repository-permissions-updater/pull/980#discussion_r