Skip to content
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.

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

[bitnami/pushgateway] Release pushgateway-1.10.0-debian-12-r3 #74310

Merged
merged 1 commit into from
Nov 7, 2024

Conversation

bitnami-bot
Copy link
Contributor

This is an automated Pull Request updating:

  • App name: pushgateway.
  • App version: 1.10.0.
  • Release tag: pushgateway-1.10.0-debian-12-r3.

@github-actions github-actions bot added pushgateway auto-merge Used by CI to auto merge release PRs authored by bitnami-bot automated labels Nov 7, 2024
@bitnami-bot bitnami-bot added the verify Execute verification workflow for these changes label Nov 7, 2024
@bitnami-bot bitnami-bot merged commit 355a6f8 into main Nov 7, 2024
13 checks passed
@bitnami-bot bitnami-bot deleted the automated/pushgateway-1.10.0-debian-12-r3 branch November 7, 2024 09:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
auto-merge Used by CI to auto merge release PRs authored by bitnami-bot automated pushgateway verify Execute verification workflow for these changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant