add an auth token to gh api requests

Signed-off-by: Peter Jausovec <[email protected]>
spiffe · Feb 14, 2023 · 9a75fd5 · 9a75fd5
1 parent f6e7584
commit 9a75fd5
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/pull_external.py b/pull_external.py
@@ -63,6 +63,11 @@ def _pull_releases():
 
 def _get_releases():
     session = requests.Session()
+
+    token = os.environ.get("GITHUB_TOKEN")
+    if token is not None:
+        session.headers.update({"Authorization": "token {}".format(token)})
+
     retries = Retry(
         total=5,
         backoff_factor=0.1,