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

Update EIP-4788: explicitly specify header schema for 4788 #7297

Merged
merged 1 commit into from
Jul 7, 2023
Merged

Update EIP-4788: explicitly specify header schema for 4788 #7297

merged 1 commit into from
Jul 7, 2023

Conversation

ralexstokes
Copy link
Member

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.

@ralexstokes ralexstokes requested a review from eth-bot as a code owner July 7, 2023 15:29
@github-actions github-actions bot added c-update Modifies an existing proposal s-draft This EIP is a Draft t-core labels Jul 7, 2023
@eth-bot
Copy link
Collaborator

eth-bot commented Jul 7, 2023 •
edited
Loading

✅ All reviewers have approved.

@eth-bot eth-bot changed the title explicitly specify header schema for 4788 Update EIP-4788: explicitly specify header schema for 4788 Jul 7, 2023
@eth-bot eth-bot enabled auto-merge (squash) July 7, 2023 15:30
eth-bot
eth-bot approved these changes Jul 7, 2023
View reviewed changes
Copy link
Collaborator

@eth-bot eth-bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

All Reviewers Have Approved; Performing Automatic Merge...

@ralexstokes ralexstokes mentioned this pull request Jul 7, 2023
Closed
@eth-bot eth-bot merged commit 4350732 into ethereum:master Jul 7, 2023
15 of 16 checks passed
@ralexstokes ralexstokes deleted the 4788-header-order branch July 7, 2023 15:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@eth-bot eth-bot eth-bot approved these changes

Assignees
No one assigned
Labels
c-update Modifies an existing proposal s-draft This EIP is a Draft t-core
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ralexstokes @eth-bot