Skip to content

mirror p2p-discover specs work#2570

Merged
mergify[bot] merged 5 commits intodevelopfrom
p2p-discover
May 17, 2022
Merged

mirror p2p-discover specs work#2570
mergify[bot] merged 5 commits intodevelopfrom
p2p-discover

Conversation

@protolambda
Copy link
Contributor

This mirrors the PR in specs repo: ethereum-optimism/optimistic-specs#439

git remote add localspecs ../optimistic-specs
git fetch localspecs
git cherry-pick --strategy=recursive -X theirs b37e6587f0a16989126dd0c8b18b2148d87d010d...ebb8c2cd8b94ab8ec817ce885ca1c0afc4243f84

@changeset-bot
Copy link

changeset-bot bot commented May 17, 2022

⚠️ No Changeset found

Latest commit: f138c36

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@mergify mergify bot requested review from cfromknecht and tuxcanfly May 17, 2022 00:36
@mergify
Copy link
Contributor

mergify bot commented May 17, 2022

This PR changes implementation code, but doesn't include a changeset. Did you forget to add one?

@mergify
Copy link
Contributor

mergify bot commented May 17, 2022

This PR has been added to the merge queue, and will be merged soon.

@mergify
Copy link
Contributor

mergify bot commented May 17, 2022

This PR is next in line to be merged, and will be merged as soon as checks pass.

1 similar comment
@mergify
Copy link
Contributor

mergify bot commented May 17, 2022

This PR is next in line to be merged, and will be merged as soon as checks pass.

@mergify mergify bot merged commit 5b402fb into develop May 17, 2022
@mergify mergify bot deleted the p2p-discover branch May 17, 2022 16:05
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.

4 participants