Skip to content
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.

Sign up for GitHub

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

Small fixes for metrics #13807

Merged
merged 7 commits into from
Mar 25, 2021
Merged

Small fixes for metrics #13807

Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
d9209d5
Check category names in YAML files. Fix some.
neunhoef Mar 24, 2021
f944c01
Sort out short names in metrics labels.
neunhoef Mar 24, 2021
7f945a1
allMetrics.yaml
neunhoef Mar 24, 2021
c14bc14
CHANGELOG.
neunhoef Mar 24, 2021
27c2148
Merge branch 'devel' into bug-fix/small-metrics-fixes
neunhoef Mar 24, 2021
3837167
Merge branch 'devel' of github.com:arangodb/arangodb into bug-fix/sma…
jsteemann Mar 24, 2021
1386265
Merge remote-tracking branch 'origin/devel' into bug-fix/small-metric…
neunhoef Mar 25, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Merge remote-tracking branch 'origin/devel' into bug-fix/small-metric… 
…s-fixes
  • Loading branch information
@neunhoef
neunhoef committed Mar 25, 2021
commit 1386265164d5c5b6ab3f8e278732b949600f2937

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.