EIP-Bot not enabled. - Githubissues

ethereum / RIPs

The Ethereum Rollup Improvement Proposal repository

Creative Commons Zero v1.0 Universal

100 stars 29 forks source link

EIP-Bot not enabled. #34

Open drortirosh opened 3 months ago

drortirosh commented 3 months ago

This repo is based on the EIPs repository, but the EIP-Bot is not enabled. specifically, when a modification to a document is made (by an RIP owner), the PR is not merged, and has to wait to manual inclusion

abcoathup commented 2 months ago

cc: @CarlBeek @adietrichs

rmeissner commented 1 hour ago

Would also be nice to utilize the same labels as the ERCs and EIPs repo