Skip to content

Conversation

@oliveromahony
Copy link
Contributor

Proposed changes

Removed metrics reporter to

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING document
  • If applicable, I have added tests that prove my fix is effective or that my feature works
  • If applicable, I have checked that any relevant tests pass after adding my changes
  • I have updated any relevant documentation (README.md)

@oliveromahony oliveromahony added the chore Pull requests for routine tasks label Oct 12, 2022
@oliveromahony oliveromahony self-assigned this Oct 12, 2022
@dhurley
Copy link
Collaborator

dhurley commented Oct 12, 2022

Can you run make deps ?

@oliveromahony oliveromahony merged commit 71469bc into main Oct 12, 2022
@oliveromahony oliveromahony deleted the remove_metrics_reporter branch October 12, 2022 09:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks dependencies

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants