Merge pull request #768 from prometheus/repo_sync
authorBen Kochie <superq@gmail.com>
Mon, 22 Mar 2021 08:25:56 +0000 (09:25 +0100)
committerGitHub <noreply@github.com>
Mon, 22 Mar 2021 08:25:56 +0000 (09:25 +0100)
Synchronize common files from prometheus/prometheus


Trivial merge