GitHub App connector plugin proposal and catalog addition
Cluster 85815 · agent. Data as of
1 open item. Fix merged in #124114 on 26 Sep 2026. Check it covers your case.
The short answer
- Known?
- Yes. 3 related items grouped here, 0 issues already closed.
- Fix event
- A fix was merged to main in PR #124114. Check it covers your case. No release data is tracked.
- Tracker
- The maintainers' tracker marks this
unresolved. That is separate from the fix event. - Still open
- 1 issue and 0 PRs.
Next step: read #124114, then check whether your report is the one still open.
Read #124114Pick up a Lab taskThese items concern adding a GitHub App connector plugin that provides bot-identity tools for creating and managing issues and pull requests with attribution. The members appear to cover the feature proposal and its addition to a plugin catalog.
Open issues1
- Issue#85815Feature: GitHub App connector plugin — bot-identity issue/PR tools
Open PRs0
Fixes on record
-
#124114 feat(plugin-catalog): add GitHub App connector
files:
contributors/emails/[redacted:email],plugin-catalog/github_app.yaml
1 PR closed without merging
From the close comments: superseded by another PR 1
-
#85816 feat(plugins): GitHub App connector — bot-identity issue/PR tools with attribution · superseded by another PR →
#124114
How this cluster was grouped
-
Link evidence (
structural links throughout): every member is connected by structural evidence: shared changed files, or a closing/superseded reference. -
Pairwise link density
0.67: the share of item pairs that carry a link, counting a structural link in full and a relevance-only link at 0.36.1.00means every pair is linked.
Pick up a Lab task
Check whether a fix covers the open issues here, with your own agent. Bring back evidence for maintainers.
Open the LabAt a glance
- Subsystem
- agent
- Merged PRs
- #124114
- Closed issues
- 0
- Attempts
- 1 PR closed without merging
- Fix link checked
- 26 Sep 2026