Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

EIP bot doesn't merge #268

Closed
lightclient opened this issue May 16, 2023 · 2 comments
Closed

EIP bot doesn't merge #268

lightclient opened this issue May 16, 2023 · 2 comments

Comments

@lightclient
Copy link
Member

Everything passes, but for some reason it doesn't merge: ethereum/EIPs#6985

why not?
@lightclient
Copy link
Member Author

went from draft to review, didn't merge until closing and reopening

@Pandapip1
Copy link
Member

Pandapip1 commented May 17, 2023 •
edited
Loading

Ah, the workflow isn't configured to trigger on force pushes. I can fix that easily.

Never mind, it looks like it's a GitHub bug. Not really anything I can do. In future, if you want to re-run @eth-bot, do:

@eth-bot rerun

@Pandapip1 Pandapip1 closed this as not planned Won't fix, can't repro, duplicate, stale May 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@lightclient @Pandapip1