From eb98d2087dee4f35a3c4402d2a1ffad9e45fae9a Mon Sep 17 00:00:00 2001 From: Vinta Chen Date: Sat, 31 Oct 2026 22:18:27 +0800 Subject: [PATCH] fix: route GitHub stars fetch through HTTPS_PROXY An explicit httpx.HTTPTransport makes httpx ignore HTTPS_PROXY, so the fetch failed with a DNS error wherever outbound traffic must go through a proxy. Co-Authored-By: Claude --- website/fetch_github_stars.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/fetch_github_stars.py b/website/fetch_github_stars.py index a196b31a..62815a17 100755 --- a/website/fetch_github_stars.py +++ b/website/fetch_github_stars.py @@ -144,7 +144,7 @@ def main() -> None: with httpx.Client( headers={"Authorization": f"bearer {token}", "Content-Type": "application/json"}, - transport=httpx.HTTPTransport(retries=2), + transport=httpx.HTTPTransport(retries=2, proxy=os.environ.get("HTTPS_PROXY") or None), timeout=30, ) as client: for batch_num, batch in enumerate(batched(to_fetch, BATCH_SIZE), 1):