add an auth token to gh api requests

spiffe · Feb 14, 2023 · 7d45787 · 7d45787
1 parent f6e7584
commit 7d45787
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,