Open Ibrahim2750mi opened 1 year ago
From GitHub's API's perspective, pull requests are a type of issue https://docs.github.com/en/rest/issues/issues?apiVersion=2022-11-28#list-issues-assigned-to-the-authenticated-user
Note: GitHub's REST API considers every pull request an issue, but not every issue is a pull request. ...
For user facing (e.g. help command text) I think it's worth listing both, but because this is internal I'm not sure it's worth changing, although maybe it would be more clear, I don't mind.
For user facing (e.g. help command text) I think it's worth listing both, but because this is internal I'm not sure it's worth changing, although maybe it would be more clear, I don't mind.
@wookie184 When I was trying to find the source of this command I overlooked this file because the docstring mentioned 'issues' in the on_message
function, I found the source of this through Chris when he redirected me. So it kinda causes confusion.
Description
on_message
function: https://github.com/python-discord/sir-lancebot/blob/9ecf423268bb3a89e881e4b28e5ee56fe9b33819/bot/exts/utilities/githubinfo.py#L175 https://github.com/python-discord/sir-lancebot/blob/9ecf423268bb3a89e881e4b28e5ee56fe9b33819/bot/exts/utilities/githubinfo.py#L183Here the
on_message
function returns more than just issues, it also returns pull requests. So the docstring and the variable names should be changed accordingly.Possible Solutions
repo_sequential_numbers
issues_prs
Would you like to implement a fix?