diff --git a/pull_external.py b/pull_external.py index b67b8bef..68fa9708 100644 --- 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,