From b27b2ee074322cc6c6b5e64d594b4b1d774830ad Mon Sep 17 00:00:00 2001 From: Niels de Vos Date: Tue, 13 Oct 2020 11:52:31 +0200 Subject: [PATCH] ci: authenticate with GitHub API token from the environment These script now check if GITHUB_API_TOKEN is set in the environment, and use that for authenticating. There is no username needed when an API token is used, but it may not be empty, so it is set to "unused". Signed-off-by: Niels de Vos --- scripts/get_github_labels.py | 17 +++++++++++++++-- scripts/get_patch_release.py | 15 ++++++++++++++- 2 files changed, 29 insertions(+), 3 deletions(-) diff --git a/scripts/get_github_labels.py b/scripts/get_github_labels.py index 0a1dfb0d2..94703a07f 100755 --- a/scripts/get_github_labels.py +++ b/scripts/get_github_labels.py @@ -12,11 +12,16 @@ Exit codes: 0: success 1: any unexpected failure 2: --has-label=