Merge pull request #871 from prometheus/repo_sync
authorBen Kochie <superq@gmail.com>
Wed, 26 Jan 2022 07:27:11 +0000 (08:27 +0100)
committerGitHub <noreply@github.com>
Wed, 26 Jan 2022 07:27:11 +0000 (08:27 +0100)
Synchronize common files from prometheus/prometheus


Trivial merge