Skip to content
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

Fix delegate comment #193

Merged
merged 1 commit into from
Jun 11, 2023
Merged

Conversation

Urgau
Copy link
Member

@Urgau Urgau commented Jun 9, 2023

This PR fixes the crash reported when delegating the approval to someone.

The fix use the same approach used by the Approved comment, that is getting the bot name at the creation of the comment.

r? @jyn514

@Noratrieb
Copy link
Member

Have you tested this to some degree? Would be great if possible.

@Urgau
Copy link
Member Author

Urgau commented Jun 9, 2023

Have you tested this to some degree? Would be great if possible.

No, I haven't unfortunately; but I'm pretty sure it will work since the changes are just copy-pasted from the Approved comment.

Copy link
Member

@jyn514 jyn514 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks!

@jyn514 jyn514 merged commit c6926e6 into rust-lang:master Jun 11, 2023
1 check passed
@Urgau Urgau deleted the fix-delegated-comment branch June 11, 2023 13:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants