Lint

chore: remove unused open_github_url/_StripAuthOnRedirect from _github_http.py #4192

Sign in to view logs

Re-run triggered June 9, 2026 12:58

mnriem

#2883

jawwad-ali:chore/2876-remove-unused-github-http

Status Success

Total duration 11s

Artifacts –

lint.yml

on: pull_request