Skip to content

fix(gastown): remove issue reporting - #5348

Merged
jrf0110 merged 1 commit into
mainfrom
remove-issue-reporting-capabilities
Aug 18, 2026
Merged

fix(gastown): remove issue reporting#5348
jrf0110 merged 1 commit into
mainfrom
remove-issue-reporting-capabilities

Conversation

@jrf0110

@jrf0110 jrf0110 commented Aug 18, 2026

Copy link
Copy Markdown
Contributor

Summary

  • remove the Mayor GitHub issue reporting tool and prompt instructions
  • remove the terminal bar bug-report menu and its Storybook story
  • remove the dedicated Gastown GitHub issue template

Verification

  • npx --yes pnpm@11.1.2 --filter cloudflare-gastown exec vitest run container/plugin/mayor-tools.test.ts
  • npx --yes pnpm@11.1.2 --filter cloudflare-gastown run typecheck
  • npx --yes pnpm@11.1.2 --filter web run typecheck
  • npx --yes pnpm@11.1.2 --filter @kilocode/storybook run typecheck
  • git diff --check

@kilo-code-bot

kilo-code-bot Bot commented Aug 18, 2026

Copy link
Copy Markdown
Contributor

Code Review Summary

Status: No Issues Found | Recommendation: Merge

Files Reviewed (7 files)
  • .github/ISSUE_TEMPLATE/gastown-bug.yml
  • ENVIRONMENT.md
  • apps/storybook/stories/gastown/TerminalBarPickers.stories.tsx
  • apps/web/src/components/gastown/TerminalBar.tsx
  • services/gastown/container/plugin/mayor-tools.test.ts
  • services/gastown/container/plugin/mayor-tools.ts
  • services/gastown/src/prompts/mayor-system.prompt.ts

Reviewed by grok-4.6 · Input: 120.2K · Output: 7.6K · Cached: 170.5K

Review guidance: REVIEW.md from base branch main

@jrf0110
jrf0110 merged commit 95a4b2f into main Aug 18, 2026
15 checks passed
@jrf0110
jrf0110 deleted the remove-issue-reporting-capabilities branch August 18, 2026 15:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants