Merge pull request #807 from prometheus/repo_sync
authorMarcelo Magallon <marcelo.magallon@grafana.com>
Thu, 8 Jul 2021 20:39:36 +0000 (14:39 -0600)
committerGitHub <noreply@github.com>
Thu, 8 Jul 2021 20:39:36 +0000 (14:39 -0600)
Synchronize common files from prometheus/prometheus


Trivial merge