Skip to content

fix(agentic): exclude openlibrary-bot from issue enrichment - #13166

Merged
mekarpeles merged 1 commit into
masterfrom
13161/exclude-openlibrary-bot
Jul 15, 2026
Merged

fix(agentic): exclude openlibrary-bot from issue enrichment#13166
mekarpeles merged 1 commit into
masterfrom
13161/exclude-openlibrary-bot

Conversation

@mekarpeles

Copy link
Copy Markdown
Member

Summary

openlibrary-bot's GitHub account type is "User", not "Bot" (confirmed via gh api users/openlibrary-bot -q '.type'), and its login doesn't end in [bot]. Both the workflow-level if: gate and the prompt's documented skip conditions in issue_enrichment.yml/.md rely on exactly those two signals β€” so an issue opened by openlibrary-bot is currently NOT excluded from enrichment, contrary to intent.

Fixes #13165.

Fix

Adds an explicit user.login != 'openlibrary-bot' check alongside the existing type/[bot]-suffix checks, at both the workflow if: level (cheap, structural) and in the prompt's documented skip conditions (so the reasoning stays correct if someone edits the trigger logic later without re-checking the YAML).

Same fix already applied to the not-yet-merged PR auto-responder (#13164) before it merged, and to pr-prereview.md (the source doc for the PR-side flow, in the private pm PAM repo).

Related

Testing

pre-commit run passes on both changed files. Not independently verified against a live issue opened by openlibrary-bot (would require the bot to actually open one) β€” the if: logic change is a straightforward boolean addition, low risk.

user.type != 'Bot' and the [bot]-suffix check do not catch
openlibrary-bot -- its account type is "User", confirmed via the
GitHub API. Add an explicit login check at both the workflow if:
level and in the prompt's skip conditions.

Fixes #13165
@mekarpeles
mekarpeles merged commit 8830da3 into master Jul 15, 2026
7 checks passed
@mekarpeles
mekarpeles deleted the 13161/exclude-openlibrary-bot branch July 15, 2026 22:48
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.

Issue Enrichment does not exclude openlibrary-bot (account type is User, not Bot)

1 participant