-
Notifications
You must be signed in to change notification settings - Fork 0
post a message on conflicting PRS #1
Comments
This would be useful!
Having the same behaviour as conan-center-bot would be the most verbose and clearest to the pr creator. Maybe you should create a new @EricLemanissierBot user account and let the bot run using that account. |
I'm exploring API, but unfortunately it does not seem to be possible to hide issue comments : https://docs.github.com/en/free-pro-team@latest/rest/reference/issues#update-an-issue-comment. The closest solution would be to delete the issue comment |
FYI, instead of using requests, you can also use pygithub. |
I've searched on this and there exists a graphql api at https://docs.github.com/en/free-pro-team@latest/graphql |
Congratulations on creating the bot @ericLemanissierBot :D I think there is a grammar error: There seems to be
|
Thanks for pushing me on this one. As a first step, I made sure that there is only one message of the bot per PR, and the message is updated in case the conflict changes. |
I absolutely hate this 😃 please stop spamming my inbox! |
Ok, we got the first complaint 😄 You have some options with retaining state between actions:
|
The 3rd option seems good, but to be honest, I don't think I'll take the time to learn the graphql api (which I know nothing about), implement a database file, and make the bot maintain this database, when the only improvement is to hide some outdated messages :/ |
I just got 14+ mails from your bot which is a bit annoying.
Then it knows what message to mutilate. Or you could iterate through all comments on an issue and look for messages made by your bot. |
Sorry about the round of emails 40 minutes ago, it was an error from me. It should not occur again. I changed the bot to not modify posts so that it does not generate unnecessary notifications each time the CI runs |
No description provided.
The text was updated successfully, but these errors were encountered: