Currently kernel-bot runs as a plain token/PAT-based bot. We'd like to upgrade it to a proper GitHub App so it can benefit from first-class GitHub integrations — e.g. autocomplete of its commands in issue/PR comment boxes, proper app identity and permissions, per-repo installation, check runs, etc.
Context from discussion: this ties into unifying the build workflow — potentially disabling the manual dispatch workflow and using kernel-bot exclusively — which makes it more important that the bot is a well-integrated, first-class GitHub App.
Requested by Sayak Paul - Slack thread - Agent trace
Currently kernel-bot runs as a plain token/PAT-based bot. We'd like to upgrade it to a proper GitHub App so it can benefit from first-class GitHub integrations — e.g. autocomplete of its commands in issue/PR comment boxes, proper app identity and permissions, per-repo installation, check runs, etc.
Context from discussion: this ties into unifying the build workflow — potentially disabling the manual dispatch workflow and using kernel-bot exclusively — which makes it more important that the bot is a well-integrated, first-class GitHub App.
Requested by Sayak Paul - Slack thread - Agent trace