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
Issues: ethereum/EIP-Bot
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
EIP Bot retriggers when it merges a PR
bug
Something isn't working
priority: low
#145
opened Dec 15, 2022 by
wlanroot
Move Stagnant code to master branch
enhancement
New feature or request
priority: medium
#120
opened Aug 10, 2022 by
Pandapip1
Add certain labels automatically
enhancement
New feature or request
priority: medium
#110
opened Aug 4, 2022 by
Pandapip1
Pull Request labelled with Something isn't working
priority: low
updateEIP instead of newEIPFile
bug
#99
opened Jul 22, 2022 by
SamWilsn
EIP Bot should not require changes to the EIP file to modify EIP asset files
bug
Something isn't working
priority: medium
#95
opened Jul 11, 2022 by
Pandapip1
Update the "Stagnant" bot
enhancement
New feature or request
priority: medium
#91
opened Jun 1, 2022 by
poojaranjan
3 tasks
Set New feature or request
priority: low
last-call-deadline in the preamble before merging relevant pull requests
enhancement
#66
opened Apr 20, 2022 by
SamWilsn
Set created date in the preamble immediately before merging new EIP pull requests
enhancement
New feature or request
priority: low
#65
opened Apr 20, 2022 by
SamWilsn
Set EIP number immediately before merging new EIP pull requests
enhancement
New feature or request
priority: medium
#64
opened Apr 20, 2022 by
SamWilsn
Stagnant bot merges despite open PR
bug
Something isn't working
priority: high
#42
opened Jan 10, 2022 by
alita-moore
ProTip!
Adding no:label will show everything without a label.