-
Notifications
You must be signed in to change notification settings - Fork 5.4k
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
Change Stale Thresholds #5360
Change Stale Thresholds #5360
Conversation
All tests passed; auto-merging...(pass) .github/workflows/stale.yml
|
These feel way to aggressive to me. We very often have authors who take a month or two to apply feedback. I'm curious what problem you are trying to solve with these shorter timelines. A large number of open pull requests isn't a problem in itself, but perhaps it causes some problem for editors that I'm unaware of? |
It's just a lot easier for an author to reopen closed PRs than it is to scan through 70+ PRs to find ones that I haven't yet reviewed. If an author takes 2 months to apply a change, then does it really need to be in the PR list the entire time? Once the change is made, reverting the stale bot is as simple as clicking the "Re-Open" button. |
If we continue to iterate on and improve the labeling system, can this problem be addressed that way (so you can filter by label)? What if we swapped the durations around so it was 2 weeks to flag as stale, then 6 months after that to close? That way editors can filter out stale issues/PRs aggressively.
One can imagine a stale bot that closes PRs after 24 hours for the same reasons you have listed. I feel like 24 hours is "obviously too short". What is unclear to me is what is the threshold for too short. There are authors who check their EIPs only on the weekends, so one could argue for one week. But sometimes people get busy on their weekend so maybe it takes them a few weeks. Other times authors iterate outside of the EIP process and then show back up after much discussion to make updates to their PRs, like will probably be the case with #5353. While your argument can stand for any duration, we ideally want to pick a value that results in the least amount of thrash (closing and opening PRs), else we might as well just have the bot auto-close after 24 hours so our PR list is perpetually empty. |
I would be okay with that. That does indeed seem like the best option. The intent was two months, however, and I feel like two months is more than enough time to push a commit. |
I think I'm OK with the latest iteration you have here. Would like to get some feedback from other editors before merging though. |
It's been two days. Taking no signs of 👎 as a proxy for approval. Merging. |
Please wait for at least one approval before merging. Again, the bot is broken at the moment but we shouldn't be abusing that. Also, we generally give other editors many weeks to provide feedback since I think you and I are the only two editors who look at things daily. Most editors checkin weekly or monthly. |
This reverts commit f1d878e.
I reverted this change since it was merged prematurely (see #5397). I recommend re-opening this PR as I think it is a good idea. |
* Update stale bot config * Remove extra space * Increase threshold * Undo non-relevant changes * Flip flop
This reverts commit f1d878e.
Abstract
The stale bot thresholds are too high. This PR reduces them.
Motivation
Reduces EIP Editor work.
Specification
Rationale