mudhorn/prometheus
1
0
Fork 0
mirror of https://github.com/prometheus/prometheus.git synced 2024-09-19 23:37:31 -07:00
Code Issues Actions 7 Packages Projects Releases Wiki Activity

prompb: add lint ignores for metrics.proto

Browse source 
Signed-off-by: beorn7 <beorn@grafana.com>
This commit is contained in:
beorn7 2022-06-14 13:47:09 +02:00
parent 40ad5e284a
commit fb92a801f6
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
prompb/buf.yaml
View file

@ -5,14 +5,17 @@ lint:
ENUM_VALUE_PREFIX: ENUM_VALUE_PREFIX:
- remote.proto - remote.proto
- types.proto - types.proto
- io/prometheus/client/metrics.proto
ENUM_ZERO_VALUE_SUFFIX: ENUM_ZERO_VALUE_SUFFIX:
- remote.proto - remote.proto
- types.proto - types.proto
- io/prometheus/client/metrics.proto
PACKAGE_DIRECTORY_MATCH: PACKAGE_DIRECTORY_MATCH:
- remote.proto - remote.proto
- types.proto - types.proto
PACKAGE_VERSION_SUFFIX: PACKAGE_VERSION_SUFFIX:
- remote.proto - remote.proto
- types.proto - types.proto
- io/prometheus/client/metrics.proto
deps: deps:
- buf.build/gogo/protobuf - buf.build/gogo/protobuf