Skip to content

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 Jan 29, 2025
@pulumi-bot pulumi-bot enabled auto-merge January 29, 2025 04:08
@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch 2 times, most recently from c21a109 to cb5dcba Compare February 9, 2025 04:07
@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch 2 times, most recently from c5e31a6 to 06c66dd Compare February 17, 2025 04:08
@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch 2 times, most recently from 10c8c7f to 4676ae9 Compare February 25, 2025 04:08
@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch 2 times, most recently from 227f713 to e57cec5 Compare March 5, 2025 04:08
@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch 2 times, most recently from 64186cf to 821c115 Compare March 13, 2025 04:08
@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch 2 times, most recently from 7ba4a3a to d943a8b Compare March 21, 2025 04:08
@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch 2 times, most recently from e14760e to 9a682d6 Compare March 29, 2025 04:08
@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch 2 times, most recently from d708c15 to cc730f3 Compare April 5, 2025 04:08
@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch from cc730f3 to 4737cb0 Compare April 9, 2025 04:08
@pulumi-bot pulumi-bot closed this Apr 13, 2025
auto-merge was automatically disabled April 13, 2025 04:34

Pull request was closed

@pulumi-bot pulumi-bot enabled auto-merge April 13, 2025 04:34
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