Merge pull request #887 from prometheus/repo_sync
authorBen Kochie <superq@gmail.com>
Sat, 5 Mar 2022 08:56:36 +0000 (09:56 +0100)
committerGitHub <noreply@github.com>
Sat, 5 Mar 2022 08:56:36 +0000 (09:56 +0100)
Synchronize common files from prometheus/prometheus


Trivial merge