Skip to content

Conversation

@mnkiefer
Copy link
Contributor

  • Refactors old label format campaign:<campaignId> to z_campaign_<campaignId> (to place it at the bottom of labels, not as discoverable/in the way).
  • Also updates the campaign discovery logic to simplify GitHub search queries by removing unnecessary parentheses, and adjusts related tests to ensure correct query formatting.

@mnkiefer
Copy link
Contributor Author

@copilot Check if this fixes 0 discovery items we've been seeing.

Copy link
Contributor

Copilot AI commented Jan 23, 2026

@mnkiefer I've opened a new pull request, #11472, to work on those changes. Once the pull request is ready, I'll request review from you.

@mnkiefer mnkiefer merged commit ad6db8c into main Jan 23, 2026
83 checks passed
@mnkiefer mnkiefer deleted the refactor-label-name branch January 23, 2026 08:05
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.

2 participants