Skip to content

chore: improve issue and PR search accuracy#15356

Merged
mnkiefer merged 1 commit intomainfrom
improve-issue-pr-queries
Feb 13, 2026
Merged

chore: improve issue and PR search accuracy#15356
mnkiefer merged 1 commit intomainfrom
improve-issue-pr-queries

Conversation

@mnkiefer
Copy link
Contributor

@mnkiefer mnkiefer commented Feb 13, 2026

  • Makes search for updated issues and pull requests more accurate and compliant with the GitHub API, and by ensuring duplicate items are filtered out from the results.

@mnkiefer mnkiefer self-assigned this Feb 13, 2026
Copilot AI review requested due to automatic review settings February 13, 2026 08:51
@mnkiefer mnkiefer merged commit d14f7e3 into main Feb 13, 2026
121 checks passed
@mnkiefer mnkiefer deleted the improve-issue-pr-queries branch February 13, 2026 08:51
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR improves the accuracy of issue and PR searches in the bot-detection workflow by splitting a single search query into two separate queries with explicit type qualifiers, and adding deduplication logic.

Changes:

  • Split the GitHub Search API call into two separate queries: one for issues (with is:issue) and one for PRs (with is:pull-request)
  • Added deduplication logic using a Set to track seen URLs and filter out any potential duplicates
  • Updated both the source workflow (.md) and compiled workflow (.lock.yml) consistently

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.

File Description
.github/workflows/bot-detection.md Split search into separate is:issue and is:pull-request queries, added deduplication filter
.github/workflows/bot-detection.lock.yml Compiled version of bot-detection.md with updated frontmatter hash

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

sort: "updated",
order: "desc",
});
// Search issues + PRs updated in window (API requires is:issue or is:pull-request)
Copy link

Copilot AI Feb 13, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The comment states "API requires is:issue or is:pull-request" but the GitHub Search API doesn't technically require these qualifiers - it will return both issues and PRs without them. Consider updating the comment to be more accurate, such as "Split into separate queries with is:issue and is:pull-request for better search accuracy" to better reflect the intent of the change.

Suggested change
// Search issues + PRs updated in window (API requires is:issue or is:pull-request)
// Search issues + PRs updated in window (split into is:issue and is:pull-request for better search accuracy)

Copilot uses AI. Check for mistakes.
sort: "updated",
order: "desc",
});
// Search issues + PRs updated in window (API requires is:issue or is:pull-request)
Copy link

Copilot AI Feb 13, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The comment states "API requires is:issue or is:pull-request" but the GitHub Search API doesn't technically require these qualifiers - it will return both issues and PRs without them. Consider updating the comment to be more accurate, such as "Split into separate queries with is:issue and is:pull-request for better search accuracy" to better reflect the intent of the change.

Suggested change
// Search issues + PRs updated in window (API requires is:issue or is:pull-request)
// Search issues + PRs updated in window (split into separate queries with is:issue and is:pull-request for better search accuracy)

Copilot uses AI. Check for mistakes.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant