Avi Kivity a7099132cc scripts/pull_github_pr.sh: optionally authenticate ...

This helps overcome rate limits for unauthenticated requests,
preventing maintainers from getting much-needed rest.

Closes #13210

2023-03-19 15:16:02 +02:00

3.2 KiB

Executable File

Raw Blame History

View Raw