diff options
| author | Dave Henderson <dhenderson@gmail.com> | 2020-12-30 13:44:02 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-30 11:44:02 -0700 |
| commit | ebc278ec98bb24f2852b61fde2a9bf2e3d83818b (patch) | |
| tree | afc2f604f9c59b64d3558eadd76330df4269efc7 /.github | |
| parent | 79f3af99275447058951bc27fc45b669868dde7e (diff) | |
metrics: allow disabling OpenMetrics negotiation (#3944)
* metrics: allow disabling OpenMetrics negotiation
Signed-off-by: Dave Henderson <dhenderson@gmail.com>
* fixup! metrics: allow disabling OpenMetrics negotiation
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions