Google Git
Sign in
gerrit/plugins/metrics-reporter-prometheus/2a3099ff65d988b5db7a40cd1395ff2d9378df25
commit
2a3099ff65d988b5db7a40cd1395ff2d9378df25
[log] [tgz]
author
Luca Milanesio <luca.milanesio@gmail.com>
Mon Oct 26 21:04:08 2020 +0000
committer
Luca Milanesio <luca.milanesio@gmail.com>
Mon Oct 26 21:04:08 2020 +0000
tree
6cb626fc9650366f4d5698c4a22ef722e7c67b12
parent
8484e39923f7178562089f73cba0b7a328d65426 [diff]
parent
1dedb872196767c2f1aa5f9407434e136ffc8c72 [diff]
Merge branch 'stable-2.15' into stable-2.16

* stable-2.15:
  Add option to exclude metrics

Change-Id: I54c39fbff22495155aa48daeb4e518c6f817aea8
tree: 6cb626fc9650366f4d5698c4a22ef722e7c67b12
  1. src/
  2. BUILD
  3. external_plugin_deps.bzl
  4. pom.xml