Skip to content

Synchronize common files from prometheus/prometheus #1708

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jan 15, 2025
Merged

Synchronize common files from prometheus/prometheus #1708

merged 1 commit into from
Jan 15, 2025

Conversation

prombot
Copy link
Contributor

@prombot prombot commented Jan 15, 2025

Propagating changes from prometheus/prometheus default branch.

@prombot
Update common Prometheus files
2fc71c7 
Signed-off-by: prombot <prometheus-team@googlegroups.com>
@bwplotka bwplotka merged commit 7b39d01 into main Jan 15, 2025
12 checks passed
@bwplotka bwplotka deleted the repo_sync branch January 15, 2025 20:31
This was referenced Feb 19, 2025
Merged
Merged
@dghubble-renovate dghubble-renovate bot mentioned this pull request Feb 19, 2025
Merged
1 task
@mr-borboto mr-borboto bot mentioned this pull request Feb 19, 2025
Merged
1 task
@pull-bunyan pull-bunyan bot mentioned this pull request Feb 19, 2025
Closed
1 task
@pb-renovate pb-renovate bot mentioned this pull request Feb 19, 2025
Closed
1 task
@theriver-bot theriver-bot bot mentioned this pull request Feb 19, 2025
Merged
1 task
@larsl-renovate larsl-renovate bot mentioned this pull request Feb 19, 2025
Merged
1 task
@cilium-renovate cilium-renovate bot mentioned this pull request Feb 17, 2025
Merged
1 task
This was referenced Feb 19, 2025
Merged
Merged
Merged
Merged
@rwunderer rwunderer mentioned this pull request Feb 19, 2025
Merged
1 task
This was referenced Feb 19, 2025
Open
Closed
Open
Closed
Closed
Closed
Open
Open
This was referenced Aug 7, 2025
Open
Open
@renovate-bot renovate-bot mentioned this pull request Aug 8, 2025
Open
1 task
This was referenced Aug 8, 2025
Merged
Merged
@renovate-bot renovate-bot mentioned this pull request Aug 11, 2025
Open
1 task
@renovate renovate bot mentioned this pull request Aug 11, 2025
Open
1 task
@renovate-bot renovate-bot mentioned this pull request Aug 11, 2025
Open
1 task
@renovate renovate bot mentioned this pull request Aug 11, 2025
Open
1 task
@soerenschneider soerenschneider mentioned this pull request Aug 12, 2025
Open
1 task
This was referenced Aug 12, 2025
Merged
Merged
@devex-sa devex-sa mentioned this pull request Aug 13, 2025
Closed
1 task
This was referenced Aug 15, 2025
Open
Open
@soerenschneider soerenschneider mentioned this pull request Aug 15, 2025
Closed
1 task
This was referenced Aug 16, 2025
Merged
Closed
@red-hat-konflux red-hat-konflux bot mentioned this pull request Aug 17, 2025
Closed
1 task
This was referenced Aug 17, 2025
Open
Open
@red-hat-konflux red-hat-konflux bot mentioned this pull request Aug 20, 2025
Open
1 task
This was referenced Aug 24, 2025
Merged
Merged
@wall-e1-bot wall-e1-bot bot mentioned this pull request Aug 26, 2025
Merged
1 task
This was referenced Aug 29, 2025
Merged
Merged
Merged
Open
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bwplotka bwplotka bwplotka approved these changes

@ArthurSens ArthurSens Awaiting requested review from ArthurSens ArthurSens is a code owner

@kakkoyun kakkoyun Awaiting requested review from kakkoyun kakkoyun is a code owner

@vesari vesari Awaiting requested review from vesari vesari is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@prombot @bwplotka