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-6239: Move to Review #7176

Merged
merged 1 commit into from
Jun 13, 2023
Merged

Update EIP-6239: Move to Review #7176

merged 1 commit into from
Jun 13, 2023

Conversation

JessicaChg
Copy link
Contributor

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.

@JessicaChg JessicaChg requested a review from eth-bot as a code owner June 13, 2023 04:57
@github-actions github-actions bot added c-status Changes a proposal's status s-review This EIP is in Review t-erc labels Jun 13, 2023
@eth-bot
Copy link
Collaborator

eth-bot commented Jun 13, 2023 •
edited
Loading

✅ All reviewers have approved.

@eth-bot eth-bot added the e-review Waiting on editor to review label Jun 13, 2023
@JessicaChg JessicaChg mentioned this pull request Jun 13, 2023
Closed
13 tasks
@eth-bot eth-bot enabled auto-merge (squash) June 13, 2023 15:05
eth-bot
eth-bot approved these changes Jun 13, 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...

@eth-bot eth-bot merged commit d80d366 into ethereum:master Jun 13, 2023
@JessicaChg JessicaChg mentioned this pull request Jun 14, 2023
Closed
23 tasks
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

@SamWilsn SamWilsn SamWilsn approved these changes

Assignees
No one assigned
Labels
c-status Changes a proposal's status e-review Waiting on editor to review s-review This EIP is in Review t-erc
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@JessicaChg @eth-bot @SamWilsn