Merge pull request #1032 from prometheus/repo_sync
authorBen Kochie <superq@gmail.com>
Thu, 23 Feb 2023 18:00:30 +0000 (19:00 +0100)
committerGitHub <noreply@github.com>
Thu, 23 Feb 2023 18:00:30 +0000 (19:00 +0100)
Synchronize common files from prometheus/prometheus


Trivial merge