search

ethereum / EIP-Bot

A collection of bots that make life easier on editors
Creative Commons Zero v1.0 Universal
41 stars 37 forks source link

Remove Outdated Assertions #109

Closed Pandapip1 closed 2 years ago

Pandapip1 commented 2 years ago

Blocking ethereum/EIPs#5400. It is safe to do this.

Pandapip1 commented 2 years ago

@MicahZoltu I request your "submit review"-clicking prowess.

MicahZoltu commented 2 years ago

Please get a review from another editor. I don't feel comfortable deciding what is/isn't appropriate to merge as I'm no longer an editor.

Pandapip1 commented 2 years ago

CC @JEAlfonsoP, but @MicahZoltu you are the only person that has the ability to merge.

Actually, I guess @axic does.

MicahZoltu commented 2 years ago

I don't mind clicking the button once there is approval from other editors, but I don't want to be the one deciding to click the button.

Pandapip1 commented 2 years ago

@MicahZoltu