Merge pull request #824 from prometheus/repo_sync
authorBen Kochie <superq@gmail.com>
Sun, 12 Sep 2021 10:47:33 +0000 (12:47 +0200)
committerGitHub <noreply@github.com>
Sun, 12 Sep 2021 10:47:33 +0000 (12:47 +0200)
Synchronize common files from prometheus/prometheus


Trivial merge