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

[Merged by Bors] - v2.5.0 #3392

Closed
wants to merge 1 commit into from
Closed

Conversation

paulhauner
Copy link
Member

@paulhauner paulhauner commented Jul 30, 2022

Issue Addressed

NA

Proposed Changes

Bump versions.

Additional Info

@paulhauner paulhauner added blocked work-in-progress PR is a work-in-progress v2.5.0 Required for Goerli merge release labels Jul 30, 2022
@paulhauner paulhauner changed the base branch from unstable to stable July 30, 2022 08:10
@paulhauner paulhauner changed the base branch from stable to unstable July 30, 2022 08:10
@paulhauner paulhauner added ready-for-review The code is ready for review and removed blocked work-in-progress PR is a work-in-progress labels Jul 30, 2022
@paulhauner paulhauner marked this pull request as ready for review August 1, 2022 03:03
Copy link
Member

@michaelsproul michaelsproul left a comment

Choose a reason for hiding this comment

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

Let's ship it!

@paulhauner
Copy link
Member Author

bors r+

bors bot pushed a commit that referenced this pull request Aug 1, 2022
## Issue Addressed

NA

## Proposed Changes

Bump versions.

## Additional Info

- ~~Blocked on #3383~~
- ~~Awaiting further testing.~~
@michaelsproul michaelsproul added ready-for-merge This PR is ready to merge. and removed ready-for-review The code is ready for review labels Aug 1, 2022
@bors bors bot changed the title v2.5.0 [Merged by Bors] - v2.5.0 Aug 1, 2022
@bors bors bot closed this Aug 1, 2022
bors bot pushed a commit that referenced this pull request Aug 3, 2022
## Issue Addressed

NA

## Proposed Changes

This PR reverts #3382 and adds the `--syncmode=full` as described here: #3382 (comment)

## Additional Info

- Blocked on #3392
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready-for-merge This PR is ready to merge. v2.5.0 Required for Goerli merge release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants