Commit graph

5 commits

Author SHA1 Message Date
d540d465d1
refactor: replace Discord Gateway DO with Interaction Endpoint 2026-08-03 03:02:42 +08:00
44b8fead78
feat: add merge/close PR buttons to Discord PR notifications 2026-08-02 23:02:37 +08:00
f456c979f7
docs: replace !gh command with slash/context-menu commands
Document the /gh login, /gh logout and /gh comment add|edit|del
commands plus the right-click message context-menu equivalents, and
require the applications.commands invite scope. Comments are posted as
the linked user's own GitHub account, so the old GitHub App identity,
Message Content intent and Read Message History requirements are gone.
2026-08-02 06:55:48 +08:00
4349b24d2a
docs: document WebUI, optional gateway, routes-only config and slash commands 2026-08-02 06:51:41 +08:00
512d4b01d5
initial commit 2026-07-24 21:48:50 +08:00