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

changing the ERC with EIP along with their relative links #5336

Merged
merged 9 commits into from
Jul 26, 2022

Conversation

GrandGarcon
Copy link
Contributor

  • wip: minor changes about ERC -> EIP and spaces
  • EIP-N linking error validation rule patch

authors @yuliu-debond and @malikdhruv007

When opening a pull request to submit a new EIP, please use the suggested template: https://github.com/ethereum/EIPs/blob/master/eip-template.md

We have a GitHub bot that automatically merges some PRs. It will merge yours immediately if certain criteria are met:

  • The PR edits only existing draft PRs.
  • The build passes.
  • Your GitHub username or email address is listed in the 'author' header of all affected PRs, inside .
  • If matching on email address, the email address is the one publicly listed on your GitHub profile.

@eth-bot eth-bot enabled auto-merge (squash) July 25, 2022 12:48
@eth-bot
Copy link
Collaborator

eth-bot commented Jul 25, 2022

All tests passed; auto-merging...

(pass) eip-3475.md

classification
updateEIP
  • passed!

(pass) assets/eip-3475/Metadata.md

classification
ambiguous
  • file assets/eip-3475/Metadata.md is associated with EIP 3475; because there are also changes being made to EIPS/eip-3475.md all changes to corresponding assets are also allowed

EIPS/eip-3475.md Outdated Show resolved Hide resolved
@Pandapip1
Copy link
Member

There are merge conflicts. Please fix them.

auto-merge was automatically disabled July 25, 2022 14:43

Head branch was pushed to by a user without write access

@github-actions
Copy link

The commit 14df9f6 (as a parent of 1224211) contains errors. Please inspect the Run Summary for details.

@github-actions
Copy link

The commit e8be585 (as a parent of 3086718) contains errors. Please inspect the Run Summary for details.

@dr-chain
Copy link
Contributor

@Pandapip1 @MicahZoltu fixed the issues, all checks are passing.

@lightclient
Copy link
Member

I'll wait

@lightclient lightclient reopened this Jul 26, 2022
@eth-bot eth-bot enabled auto-merge (squash) July 26, 2022 15:17
@eth-bot eth-bot merged commit 93027d6 into ethereum:master Jul 26, 2022
nachomazzara pushed a commit to nachomazzara/EIPs that referenced this pull request Jan 13, 2023
)

* wip: minor changes about ERC -> EIP and spaces

* EIP-N linking error validation rule patch

* minor fixes

* Apply suggestions from code review

Co-authored-by: Micah Zoltu <micah@zoltu.net>

* minor fixes

* minor fix

* check of this EIP rule (EIP-1)

* minor refactor

Co-authored-by: dr-chain <12458730+dr-chain@users.noreply.github.com>
Co-authored-by: Micah Zoltu <micah@zoltu.net>
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

Successfully merging this pull request may close these issues.

7 participants