feat(gastown): add bug reporting — issue template, UI link, and Mayor tool#1298
Merged
feat(gastown): add bug reporting — issue template, UI link, and Mayor tool#1298
Conversation
jrf0110
commented
Mar 19, 2026
Contributor
Code Review SummaryStatus: 1 Issue Found | Recommendation: Address before merge Overview
Issue Details (click to expand)No new issues in the incremental diff. Other Observations (not in diff)Issues found in unchanged code that cannot receive inline comments:
Files Reviewed (2 files)
Fix these issues in Kilo Cloud Reviewed by gpt-5.4-20260305 · 198,051 tokens |
7b5544c to
2eec086
Compare
… gt_report_bug tool Closes #1248 - Add .github/ISSUE_TEMPLATE/gastown-bug.yml with structured fields - Add 'Report a Bug' link in the terminal bar (visible in both user and org layouts) - Add gt_report_bug Mayor tool that searches for duplicates via GitHub API before filing - Add bug reporting guidance to Mayor system prompt - Add tests for gt_report_bug (no token, duplicates, create, failure)
2eec086 to
155a8db
Compare
…nt methods gt_bead_add_dependency and gt_bead_remove_dependency called addBeadDependency/removeBeadDependency on MayorGastownClient, but those methods were never implemented. Remove the tools to avoid runtime failures — they can be re-added when the backend support is built.
…in gt_report_bug The GH_TOKEN in containers may lack permission to create labels. Changed to use existing repo labels (bug, gt:mayor) instead of non-existent ones, and added a fallback that retries without labels on 422 errors.
The search used label:gastown which doesn't match Mayor-filed issues (labeled bug + gt:mayor). Broadened to just label:bug so duplicate detection catches both Mayor-filed and user-filed bug reports.
…rompt Convert the 'Report a Bug' link into a dropdown with two options: - New GitHub Issue (existing template link) - Discord Channel (Gastown bugs channel) Update the Mayor system prompt to know about the Discord channel so it can direct users there for discussion-style bug reports.
pandemicsyn
approved these changes
Mar 24, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Implements structured bug reporting for Gastown (#1248). Three parts:
.github/ISSUE_TEMPLATE/gastown-bug.yml) — structured form with area dropdown, town ID, reproduction steps, and logs. Auto-labelsgastown+bug.gt_report_bugMayor tool — searches existing open issues for duplicates before filing. Includes structured context (town ID, agent ID, rig ID, recent errors). Labels Mayor-filed issues withreported-by-mayor. Gracefully handles missingGH_TOKEN.Mayor system prompt updated with bug reporting guidance section.
Verification
pnpm typecheck— all packages passpnpm --filter gastown-container test— 59 tests pass (22 in mayor-tools, including 4 new tests for gt_report_bug)pnpm format:check— passespnpm lint— passes (full pre-push hook ran successfully)Visual Changes
Reviewer Notes
gt_report_bugtool uses the GitHub REST API directly viafetchrather than going through a server-side handler. This is intentional — the tool runs in the container whereGH_TOKENis already available, and there's no reason to proxy through the Gastown worker for a GitHub API call.reported-by-mayorlabel distinguishes Mayor-filed from user-filed bugs.Closes #1248