-
Notifications
You must be signed in to change notification settings - Fork 825
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
remove Gauge instrument #791
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This seems pretty straightforward, gauge is supposed to be replaced by observer. Is that going to be a separate PR?
Yes. To keep PR short and simple, I thought to split things into multiple PRs. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
In that case this seems very straightforward to me
b7abab2
to
a61bcc1
Compare
* remove Gauge instrument
Which problem is this PR solving?
Gauge
instrument.Updates #739