mirror/evennia
3
0
Fork 0
mirror of https://github.com/evennia/evennia.git synced 2026-08-18 03:05:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
dependabot/uv/sqlparse-0.6.0
evennia/.agents/docs/github.md
Griatch a1732baf40 Some more PR-related agent context
2026-04-11 08:40:15 +02:00

1023 B
Raw Permalink Blame History

GitHub Issues & PRs

Use the gh CLI to interact with the Evennia repository on GitHub (-R evennia/evennia). If gh is not installed, ask the developer to install it — do not attempt workarounds.

Listing

gh issue list -R evennia/evennia                    # open issues
gh pr list -R evennia/evennia                       # open PRs
gh issue list -R evennia/evennia --search "keyword"  # search issues
gh pr list -R evennia/evennia --search "keyword"     # search PRs

Viewing Details

gh issue view <number> -R evennia/evennia
gh pr view <number> -R evennia/evennia
gh pr diff <number> -R evennia/evennia               # PR diff
gh api repos/evennia/evennia/pulls/<number>/comments  # PR review comments

Output Formatting

When presenting issues or PRs to the user, always include a clickable URL:

#3850 — Fix EvMenu node persistence (https://github.com/evennia/evennia/issues/3850)

Use the evennia/evennia#<number> shorthand where markdown rendering supports it.