Github: Some pull requests may be missing due to an ongoing search incident, but no data is lost. Use the API or GitHub CLI (gh pr list) for complete pull request results.