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/workflows/ci.yml | |
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/workflows/ci.yml')
0 files changed, 0 insertions, 0 deletions