EIPs icon indicating copy to clipboard operation
EIPs copied to clipboard

Published 20 hours ago • verified publisher icon ethereum

Run EIP-Bot on ready for review

Open Pandapip1 opened this issue 3 years ago • 4 comments
trafficstars

This doesn't actually work due to a GitHub bug, but once they fix it it will.

(Also includes a bonus fix)

Pandapip1 avatar Aug 18 '22 15:08 Pandapip1

A critical exception has occurred: Message: pr 5492 is already merged; quitting (cc @alita-moore, @mryalamanchi)

eth-bot avatar Aug 18 '22 15:08 eth-bot

Love this change. LGTM.

(It'd be even nicer if bot can aslo update labels in the future when commented a certain cmd, but absolutely feel free to do it in a later PR)

xinbenlv avatar Aug 23 '22 18:08 xinbenlv

@SamWilsn I request a manual merge

Pandapip1 avatar Aug 24 '22 14:08 Pandapip1

@eth-bot rerun

Pandapip1 avatar Aug 26 '22 22:08 Pandapip1