Skip to content

Normalize GitHub bot login suffix in Devin completion binding - #939

Merged
jeffhuber merged 1 commit into
mainfrom
codex/938-devin-bot-login
Sep 12, 2026
Merged

Normalize GitHub bot login suffix in Devin completion binding#939
jeffhuber merged 1 commit into
mainfrom
codex/938-devin-bot-login

Conversation

@jeffhuber

Copy link
Copy Markdown
Contributor

Hosted Devin completion recovery reached fresh GitHub verification but found two spellings for the same bot account: dispatcher actor identity includes a terminal [bot] suffix, while GraphQL omits it. The numeric account ID and every other #932 binding matched.

This change compares author logins after removing at most one terminal [bot] suffix from either spelling. Exact numeric author ID remains mandatory, and different logins, IDs, non-terminal markers, repeated suffixes, and all existing repository/issue/branch/base/head mismatches remain rejected.

Closes #938

Validation:

@jeffhuber jeffhuber added the builder:codex Code Mower generated label label Sep 12, 2026
@gitar-bot

gitar-bot Bot commented Sep 12, 2026

Copy link
Copy Markdown

Note

Automatic reviews are paused because your team has used its included automatic processing for this billing period (headroom scales with your seat count). You can still comment "Gitar review" to run one anytime, and automatic reviews resume on their own by October 1. Add seats for more headroom.
Learn more

Code Review ✅ Approved

Normalizes GitHub bot login suffix matching in Devin completion binding by comparing author logins after removing at most one terminal [bot] suffix, while keeping numeric author ID validation mandatory. All 42 focused tests pass and no issues found.

Options

Display: compact → Counting what did not apply, without listing it.

Comment with these commands to change the behavior for this request:

Compact
gitar display:verbose         

Was this helpful? React with 👍 / 👎 | Gitar

@jeffhuber

Copy link
Copy Markdown
Contributor Author

Claude audit (merge-authority lane)

Head SHA: 6dba0bc225ea528e083780dd95e1f32faffd86c8
Findings: P0=0, P1=0, P2=0, P3=0 (blocker policy: any P0/P1/P2 -> BLOCKED)

Claude Audit: PASS

Summary:

No P0/P1/P2 issues found.

Findings: none.

@jeffhuber
jeffhuber enabled auto-merge (squash) September 12, 2026 18:11
@jeffhuber
jeffhuber merged commit 9af0a2d into main Sep 12, 2026
15 checks passed
auto-merge was automatically disabled September 12, 2026 18:13

Pull Request is not mergeable

@jeffhuber
jeffhuber deleted the codex/938-devin-bot-login branch September 12, 2026 18:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

builder:codex Code Mower generated label claude-audit-done

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Devin: normalize GitHub bot login suffix in exact author binding

1 participant