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

Commits

Commits on Sep 12, 2026