diff options
| author |  Amrou Bellalouna <[email protected]> | 2024-03-25 15:02:09 +0100 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2024-03-25 15:02:09 +0100 |
| commit | 0e45dbf726e1e7d5d09547b1f65796cff37c689f (patch) | |
| tree | fb60cd4a614ec2b37454ca6700559c66c84cd22a /bot/exts | |
| parent | Removed inactive users from `CODEOWNERS` (#1485) (diff) | |
| parent | Support issues closed as not-planned in GitHub Issue linking (diff) | |
Merge pull request #1487 from python-discord/feat/issue-state-icon
Support issues closed as not-planned in GitHub Issue linking
Diffstat (limited to 'bot/exts')
| -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 |