This repository has been archived by the owner on Feb 9, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 37
[bug, feature] Stagnant bot shouldn't mention EIP Editors. #13
Comments
The issue here is that the merge bot is piping up on the stagnant EIPs. Ideally it would skip over those. |
It also seems like it require editor approval too? This should auto merge after some grace period I think. |
14 tasks
editors are removed by 92f5c11 what's the consensus on grace period? cc @MicahZoltu @lightclient @poojaranjan |
Two weeks is fine with me. |
ok, that behavior is defined here: 6ca2786 |
alita-moore
changed the title
Stagnant bot shouldn't mention EIP Editors.
[bug, feature] Stagnant bot shouldn't mention EIP Editors.
Sep 20, 2021
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
The EIP Editors don't need to take any action when the bot alerts of a stagnant EIP. The authors need to be notified so they can override but the editors don't have any action to take so they shouldn't be mentioned.
The text was updated successfully, but these errors were encountered: