Merge pull request #968 from prometheus/repo_sync
authorBen Kochie <superq@gmail.com>
Tue, 20 Sep 2022 19:25:10 +0000 (21:25 +0200)
committerGitHub <noreply@github.com>
Tue, 20 Sep 2022 19:25:10 +0000 (21:25 +0200)
Synchronize common files from prometheus/prometheus


Trivial merge