-
Notifications
You must be signed in to change notification settings - Fork 817
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 Make commands from Metrics documentation #1858
Remove Make commands from Metrics documentation #1858
Conversation
Users shouldn't be seeing the internal development tooling, so I removed the references to `build/` Make commands from the metrics setup and usage documentation.
Build Succeeded 👏 Build Id: 01068cf0-7543-41bb-931d-d4800b97d2e1 The following development artifacts have been built, and will exist for the next 30 days:
A preview of the website (the last 30 builds are retained): To install this version:
|
[APPROVALNOTIFIER] This PR is APPROVED This pull-request has been approved by: markmandel, pooneh-m The full list of commands accepted by this bot can be found here. The pull request process is described here
Needs approval from an approver in each of these files:
Approvers can indicate their approval by writing |
New changes are detected. LGTM label has been removed. |
Build Succeeded 👏 Build Id: ce11bfc0-c9fc-4ba5-81c3-0dc9cf4eb16b The following development artifacts have been built, and will exist for the next 30 days:
A preview of the website (the last 30 builds are retained): To install this version:
|
Users shouldn't be seeing the internal development tooling, so I removed the references to `build/` Make commands from the metrics setup and usage documentation.
What type of PR is this?
/kind documentation
What this PR does / Why we need it:
Users shouldn't be seeing the internal development tooling, so I removed the references to
build/
Make commands from the metrics setup and usage documentation.Which issue(s) this PR fixes:
N/A
Special notes for your reviewer:
N/A