-
Notifications
You must be signed in to change notification settings - Fork 556
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
Enriching BOT_COUNT metric #4330
Conversation
@@ -786,6 +787,14 @@ def platform(): | |||
raise ValueError('Unsupported platform "%s".' % sys.platform) | |||
|
|||
|
|||
def platform_vesion(): |
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.
Is this needed? Also it's spelled wrong.
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.
Chrome folks asked for it, as per design doc. I think it is a good idea to have it, so we can, for instance, figure out what glibc to expect in every environment without having to ask around or read internal config/code
34023d6
to
cd9f0bc
Compare
Does this mean that the change wasn't merged? |
Yes, it is now being done in #4333 |
Motivation
As a request from the Chrome team, it would be nice to know what:
a bot corresponds to. This PR implements that.
Part of #4271