10000 Documentation 3.8/metrics v2 improvements by Simran-B · Pull Request #14369 · arangodb/arangodb · GitHub
[go: up one dir, main page]

Skip to content

Documentation 3.8/metrics v2 improvements #14369

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

Merged
merged 7 commits into from
Aug 5, 2021

Conversation

Simran-B
Copy link
Contributor
@Simran-B Simran-B commented Jun 15, 2021

Scope & Purpose

Follow-up to #14324 (changes to be merged into this branch), adding more checks to the YAML metrics script, improved help texts for RocksDB metrics and some formatting improvements.

Backports:

@Simran-B Simran-B added this to the 3.8.1 milestone Jun 15, 2021
@Simran-B Simran-B self-assigned this Jun 15, 2021
@Simran-B Simran-B requested review from neunhoef and jsteemann August 5, 2021 09:41
@Simran-B Simran-B marked this pull request as ready for review August 5, 2021 09:42
Copy link
Contributor
@fceller fceller left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@KVS85
Copy link
Contributor
KVS85 commented Aug 5, 2021

@KVS85 KVS85 merged commit d796cdb into 3.8 Aug 5, 2021
@KVS85 KVS85 deleted the documentation-3.8/metrics-v2-improvements branch August 5, 2021 15:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants
0