Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Remove unused metrics registry from sync ManagerConfig #3439

Merged
merged 1 commit into from
Oct 2, 2024

Conversation

aaronbuchwald
Copy link
Collaborator

This PR removes an unused field from the sync ManagerConfig found while reviewing ava-labs/hypersdk#1613

@StephenButtolph StephenButtolph added the cleanup Code quality improvement label Oct 2, 2024
@StephenButtolph StephenButtolph added this to the v1.11.12 milestone Oct 2, 2024
@StephenButtolph StephenButtolph added this pull request to the merge queue Oct 2, 2024
Merged via the queue into master with commit 90304ac Oct 2, 2024
23 checks passed
@StephenButtolph StephenButtolph deleted the remove-unused-sync-metrics branch October 2, 2024 17:10
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
cleanup Code quality improvement
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

4 participants