Skip to content

fix: ignore unrelated comments #203

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

Merged
merged 1 commit into from
Feb 26, 2025

Conversation

Sakib25800
Copy link
Contributor

Fixes #124

@Sakib25800 Sakib25800 changed the title fix: prevent spam errors fix: ignore unrelated comments Feb 26, 2025
Copy link
Contributor

@Kobzol Kobzol left a comment

Choose a reason for hiding this comment

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

I checked the code again and it seems like we didn't spam the repo with error comments anymore 😅 We would produce an error in the log though, and mainly we would spam GitHub, both of which is not needed, so this PR is still a nice improvement.

Thank you! Left a few nits.

@Kobzol
Copy link
Contributor

Kobzol commented Feb 26, 2025

Thanks! Please squash the changes and we're good to go. Looks like I'll also need to fix CI.

@Sakib25800 Sakib25800 force-pushed the fix/prevent-spam-errors branch from 5ecb236 to f8a9894 Compare February 26, 2025 13:12
@Kobzol
Copy link
Contributor

Kobzol commented Feb 26, 2025

I think you'll need to repush the commit to retrigger CI on the fixed main branch. GH doesn't allow me to update the branch via GUI :(

@Sakib25800 Sakib25800 force-pushed the fix/prevent-spam-errors branch from f8a9894 to 3cd98c4 Compare February 26, 2025 13:28
@Sakib25800
Copy link
Contributor Author

This is part of what using bors would have solved right? 😆

@Kobzol
Copy link
Contributor

Kobzol commented Feb 26, 2025

Well, unless we do #202, which would then wait for PR CI to be green :)

Thanks!

@Kobzol Kobzol added this pull request to the merge queue Feb 26, 2025
Merged via the queue into rust-lang:main with commit c84d981 Feb 26, 2025
2 checks passed
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.

Do not post a comment for unrelated errors
2 participants