Search results

pretty_print_account is misleading for webhook messages

internalTooling and non-user-facing improvementsTooling and non-user-facing improvements

Status: Open.

Bug

#543 In ghostty-org/discord-bot;

· 00-kat opened on May 6, 2026

Disallow moving a message if it wouldn't pass the new location's message filters

area: message-moving

Status: Open.

Feature

#542 In ghostty-org/discord-bot;

· 00-kat opened on May 6, 2026

Reduce hunk size for {issues,pull_request}.edited events

area: webhooks

Status: Open.

Feature

#530 In ghostty-org/discord-bot;

· trag1c opened on Apr 17, 2026

Merge review request webhook events

area: webhooks

Status: Open.

Feature

#509 In ghostty-org/discord-bot;

· trag1c opened on Apr 4, 2026

Add field descriptions to the CLI

documentationImprovements or additions to documentationImprovements or additions to documentation

internalTooling and non-user-facing improvementsTooling and non-user-facing improvements

Status: Open.

Task

#505 In ghostty-org/discord-bot;

· trag1c opened on Apr 3, 2026

Ignore or minimize webhook events in unvouched issues/PRs

area: webhooks

Status: Open.

Feature

#486 In ghostty-org/discord-bot;

· 00-kat opened on Mar 13, 2026

Consistent semantics of cache and cog reload interaction

Status: Open.

Bug

#480 In ghostty-org/discord-bot;

· 00-kat opened on Mar 9, 2026

Deletion and editing of replaced Zig codeblocks

area: message-moving

area: zig-codeblocks

Status: Open.

Bug

#474 In ghostty-org/discord-bot;

· 00-kat opened on Feb 23, 2026

Message moving removes views

area: message-moving

Status: Open.

Bug

#473 In ghostty-org/discord-bot;

· 00-kat opened on Feb 23, 2026

Moving a message doesn't bring back any auto-responses (entity mentions, Zig codeblocks, etc.)

area: github-integration

area: message-moving

area: zig-codeblocks

Status: Open.

Bug

#472 In ghostty-org/discord-bot;

· 00-kat opened on Feb 23, 2026

Use persistent storage to facilitate moved message deletion/editing

area: message-moving

Status: Open.

Task

#471 In ghostty-org/discord-bot;

· 00-kat opened on Feb 23, 2026

Move core GitHub integration functionality to a separate package

area: github-integration

internalTooling and non-user-facing improvementsTooling and non-user-facing improvements

Status: Open.

Task

#466 In ghostty-org/discord-bot;

· 00-kat opened on Feb 21, 2026