Skip to content

feat(github-agent): add maintainer queue digest commands #193

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
JSONbored merged 3 commits into from
Jun 1, 2026
Merged

feat(github-agent): add maintainer queue digest commands #193

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
47b8c61
feat(github-agent): add maintainer queue digest commands
oktofeesh1 Jun 1, 2026
627222e
Merge branch 'main' into codex/github-agent-maintainer-digests
JSONbored Jun 1, 2026
39b84da
Merge branch 'main' into codex/github-agent-maintainer-digests
JSONbored Jun 1, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
44 changes: 43 additions & 1 deletion src/api/routes.ts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1958,14 +1958,56 @@ const APP_COMMANDS = [
description: "Preview the public-safe summary that may be posted to a PR thread.",
endpoint: "/v1/app/commands/preview",
},
...GITTENSORY_MENTION_COMMAND_CATALOG.filter((command) => !["help", "preflight", "blockers", "packet"].includes(command.id)).map((command) => ({
...GITTENSORY_MENTION_COMMAND_CATALOG.filter(
(command) => !["help", "preflight", "blockers", "packet", "queue-summary", "review-now", "needs-author", "confirmed-miners", "duplicate-clusters"].includes(command.id),
).map((command) => ({
id: command.id,
command: `@gittensory ${command.id}`,
audience: "public-safe",
boundary: "public",
description: command.description,
endpoint: "GitHub issue comment",
})),
{
id: "queue-summary",
command: "@gittensory queue-summary",
audience: "maintainer",
boundary: "public-safe",
description: "Post a maintainer-only queue digest from cached GitHub metadata.",
endpoint: "/v1/app/maintainer-dashboard",
},
{
id: "review-now",
command: "@gittensory review-now",
audience: "maintainer",
boundary: "public-safe",
description: "List cached PRs that look ready for maintainer review.",
endpoint: "/v1/app/maintainer-dashboard",
},
{
id: "needs-author",
command: "@gittensory needs-author",
audience: "maintainer",
boundary: "public-safe",
description: "List cached PRs that need author cleanup before detailed review.",
endpoint: "/v1/app/maintainer-dashboard",
},
{
id: "confirmed-miners",
command: "@gittensory confirmed-miners",
audience: "maintainer",
boundary: "public-safe",
description: "List open PRs whose authors are confirmed in the official-miner cache.",
endpoint: "/v1/app/maintainer-dashboard",
},
{
id: "duplicate-clusters",
command: "@gittensory duplicate-clusters",
audience: "maintainer",
boundary: "public-safe",
description: "List duplicate or WIP clusters visible from cached GitHub metadata.",
endpoint: "/v1/app/maintainer-dashboard",
},
] as const;

function authRedirectWithError(env: Env, reason: string): string {
Expand Down
Loading