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
[feature] Bot should allow non-EIP changes #5
Labels
enhancement
New feature or request
Comments
11 tasks
alita-moore
changed the title
Bot should allow non-EIP changes
[bug] Bot should allow non-EIP changes
Jul 25, 2021
alita-moore
changed the title
[bug] Bot should allow non-EIP changes
[feature] Bot should allow non-EIP changes
Jul 25, 2021
alita-moore
added
enhancement
New feature or request
and removed
bug
Something isn't working
labels
Jul 25, 2021
10 tasks
14 tasks
13 tasks
This was referenced Nov 2, 2021
This is accomplished by b9e9330 (details included in commit comments)
I also made a few cleanups
|
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
After 1 editor approval, the bot should allow non-EIP changes like to the pages infra. See this PR as an example: ethereum/EIPs#3581
The text was updated successfully, but these errors were encountered: