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

Update EIP-7092: Copyediting #9

Closed
wants to merge 9 commits into from

Conversation

lightclient
Copy link
Member

Moving over ethereum/EIPs#7874

@github-actions
Copy link

The commit bfc3b99 (as a parent of 820059e) contains errors.
Please inspect the Run Summary for details.

@github-actions github-actions bot added the w-ci label Oct 25, 2023
@Edoumou
Copy link
Contributor

Edoumou commented Oct 26, 2023

Hello @Pandapip1

I received a notification from @SamWilsn asking to close this PR ERC-7092 and reopen it manually. However, this process leads to multiple conflicts resulting from repository and filename update from EIP-(eip-) to ERC-(erc-). I then decided to close it and open a new one that you can find here: ERC-7092-new

The copyediting update that you requested from EIP-7092: Copyediting has been taken into account in the new PR ERC-7092.

Do we still need this PR ? It references EIP-7092 which now moves to ERC-7092.

@lightclient
Copy link
Member Author

I will close this PR then since you have already addressed it in #19. @Pandapip1 please reopen if that is incorrect.

eip-review-bot pushed a commit that referenced this pull request May 28, 2024
McOso pushed a commit to McOso/ERCs that referenced this pull request Aug 21, 2024
7715: Change Permissions and Policies examples
danfinlay pushed a commit to danfinlay/ERCs that referenced this pull request Sep 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants