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

EIP Bot retriggers when it merges a PR #145

Open wlanroot opened 1 year ago

wlanroot commented 1 year ago
    A critical exception has occurred:
Message: pr 5904 is already merged; quitting

(cc @alita-moore, @mryalamanchi)

Originally posted by @eth-bot in https://github.com/ethereum/EIPs/issues/5904#issuecomment-1308909383

alita-moore commented 1 year ago

It's critical because it kills the process, but really it's just noise. Most likely not worth fixing the cause.