Fixes #756 #763
Reference in New Issue
Block a user
Delete Branch "feat/756-official-discord-plugin"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Summary
Verification
pnpm typecheckpnpm lintpnpm buildpnpm format:checkpnpm testchanged-scope suites pass; the full repository baseline has an unrelated PostgreSQL localhost:5433 dependency failure incross-user-isolation.test.ts.Fixes #756