-
Notifications
You must be signed in to change notification settings - Fork 0
Bot is prevent issues from being stale #7
Comments
Thanks for the report. I think I will prevent the bot from posting messages on PR which had no activity for the last 2 weeks. do you agree ? |
Yes that would be amazing! |
Still seems to be an issue, conan-io/conan-center-index#2962 (comment) removed the stale |
Right, checking the "updated on" field is not enough, because the stale bot updates prs by posting a message. I'll add another check on "stale" label tomorrow. |
Thanks! I can wait for the 40 stale PRs to be gone 😃 |
The problem thickens! The stale bot removed the tag in conan-io/conan-center-index#1704 Pulling up the API https://api.github.com/repos/conan-io/conan-center-index/pulls/1704
Which is the time the PR was last mentioned.... |
Stupid mistake, it should be fixed now, sorry :( |
No worries, mines going to have the same problem! |
If I understand these changes correctly, it would still mean, that if there is a single NEW PR for e.g. Boost every < 14 days, the bot still keeps ALL Boost PRs from getting stale. The only way to truly prevent that is probably to get the date of the last activity which was not this bot itself. Please correct me if I am missing something |
Indeed, I'll work on this in the coming days. |
Take conan-io/conan-center-index#3367 for instance from October which was not marked stale from the bot's comment 23 days ago.
It would be nice to not comment on older PRs sp they can become stale
The text was updated successfully, but these errors were encountered: