-
-
Notifications
You must be signed in to change notification settings - Fork 272
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
PullRequest → corresponding issue #473
Comments
Thank you for your issue! Seems reasonable to me, if someone wants to make a PR for it, I would be happy to review it. |
I'd have to double check, but I think the issue ID is different from the issue number. One is the internal ID used by GitHub (not sure if it has meaning outside of GitHub, the other is the number you see in the URL). For example, I don't think there is an API method to create a comment based on the issue ID. To create a comment on a pull request you can use the issues API and just pass the pull request number as the issue number. Just be aware that in octocrab the pull request number and issue number may not be their own type, but instead just are the |
@maflcko You are right, the IssueId is not the same as issue number. I'll simply use |
Good to hear. Is there anything else to clarify or fix, or is this issue resolved? |
To comment on a pull request, one needs to use its
issue_url
field, extract its issue number and then useissues
(owner, repo).
create_comment
(number, body)
to add the comment. A functionwould be nice to have. Note that
IssueId
was used in order to avoid mixing it with numbers coming from other sources but then some signatures should be updated such aswhere
u64
should implementInto<IssueId>
for convenience and backward compatibility.The text was updated successfully, but these errors were encountered: