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

Combined dependencies PR #1153

Closed
wants to merge 0 commits into from
Closed

Combined dependencies PR #1153

wants to merge 0 commits into from

Conversation

pulumi-bot
Copy link
Contributor

Combining multiple dependencies PRs into one.

Instructions for merging
  • Use a merge commit, so that GitHub will mark all original PRs as merged.
  • If your repository does not have merge commits enabled, please temporarily enable them in settings. Tick Allow merge commits in the repository settings.
  • When ready, merge this PR using Create a merge commit.

Combined PRs

@pulumi-bot pulumi-bot added impact/no-changelog-required This issue doesn't require a CHANGELOG update dependencies Pull requests that update a dependency file labels Jun 21, 2024
@pulumi-bot pulumi-bot enabled auto-merge June 21, 2024 04:12
Copy link

Does the PR have any schema changes?

Looking good! No breaking changes found.
No new resources/functions.

Maintainer note: consult the runbook for dealing with any breaking changes.

@pulumi-bot pulumi-bot closed this Jun 25, 2024
auto-merge was automatically disabled June 25, 2024 04:09

Pull request was closed

@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch from 01058ee to c2158bc Compare June 25, 2024 04:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file impact/no-changelog-required This issue doesn't require a CHANGELOG update
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant