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.

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

eip bot does not assign tag/assign editor to review ERC #353

Closed
wongtsejian opened this issue Nov 30, 2023 · 3 comments
Closed

eip bot does not assign tag/assign editor to review ERC #353

wongtsejian opened this issue Nov 30, 2023 · 3 comments

Comments

@wongtsejian
Copy link

A PR was opened to migrate a ERC proposal form EIP repo (PR link). EIP bot failed to assign an editor and reported an error.

image

@Pandapip1
Copy link
Member

Pandapip1 commented Dec 4, 2023

My guess is that it's to do with the Gemfile.lock file. Please undo that change and see what happens. Ideally, provide a link to the run itself, too!

I don't know why the Gemfile.lock would cause that error, though. I'll investigate.

Workflow run: https://github.com/ethereum/ERCs/actions/runs/7090525922/job/19297673356

@wongtsejian
Copy link
Author

Thanks. I have undo the unintended changes to gemfile.lock.

@wongtsejian
Copy link
Author

Although the bot still does not seem to tag editors, I noticed that SamWilson has started to review the PR. So no further issues at the moment.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants