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

increase attempted reorgs at the right spot #12106

Merged
merged 1 commit into from Mar 9, 2023
Merged

increase attempted reorgs at the right spot #12106

merged 1 commit into from Mar 9, 2023

Conversation

potuz
Copy link
Contributor

@potuz potuz commented Mar 9, 2023

Only increase the attempted reorgs metric when proposing a reorg.

@potuz potuz added the Ready For Review A pull request ready for code review label Mar 9, 2023
@potuz potuz requested a review from a team as a code owner March 9, 2023 12:30
@prylabs-bulldozer prylabs-bulldozer bot merged commit 6d3ff65 into develop Mar 9, 2023
@delete-merged-branch delete-merged-branch bot deleted the reorg-better-metric branch March 9, 2023 15:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@terencechain terencechain terencechain approved these changes

@rkapka rkapka Awaiting requested review from rkapka rkapka is a code owner automatically assigned from prysmaticlabs/core-team

@nisdas nisdas Awaiting requested review from nisdas nisdas is a code owner automatically assigned from prysmaticlabs/core-team

Assignees
No one assigned
Labels
Ready For Review A pull request ready for code review
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@potuz @terencechain