diff options
| author |  hedy <[email protected]> | 2024-03-25 12:39:21 +0800 |
|---|---|---|
| committer | hedy <[email protected]> | 2024-03-25 15:18:43 +0800 |
| commit | 913a3c0a8f12230a78f72fc16c9e596feb634366 (patch) | |
| tree | fb60cd4a614ec2b37454ca6700559c66c84cd22a /bot/exts/utilities/githubinfo.py | |
| parent | Removed inactive users from `CODEOWNERS` (#1485) (diff) | |
Support issues closed as not-planned in GitHub Issue linking
- Issue closed emoji is renamed to `issue_completed` to better reflect
the `state_reason` key provided by the GitHub API that determines the
usage of this emoji.
Diffstat (limited to 'bot/exts/utilities/githubinfo.py')
| -rw-r--r-- | bot/exts/utilities/githubinfo.py | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/bot/exts/utilities/githubinfo.py b/bot/exts/utilities/githubinfo.py index f567f836..48474511 100644 --- a/bot/exts/utilities/githubinfo.py +++ b/bot/exts/utilities/githubinfo.py @@ -114,10 +114,11 @@ class GithubInfo(commands.Cog): # from issues: if the 'issues' key is present in the response then we can pull the data we # need from the initial API call. if "issues" in json_data["html_url"]: - if json_data.get("state") == "open": - emoji = Emojis.issue_open - else: - emoji = Emojis.issue_closed + emoji = Emojis.issue_open + if json_data.get("state") == "closed": + emoji = Emojis.issue_completed + if json_data.get("state_reason") == "not_planned": + emoji = Emojis.issue_not_planned # If the 'issues' key is not contained in the API response and there is no error code, then # we know that a PR has been requested and a call to the pulls API endpoint is necessary |