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 #416

Closed
wants to merge 0 commits into from
Closed

Combined dependencies PR #416

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 Jul 13, 2024
@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch 2 times, most recently from fd740a0 to 9f9b8c2 Compare July 21, 2024 04:19
@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch 2 times, most recently from 2e507ad to d65c249 Compare August 1, 2024 04:20
@pulumi-bot pulumi-bot force-pushed the combined-pr-branch branch 2 times, most recently from 9cc816f to becea11 Compare August 9, 2024 04:34
@pulumi-bot pulumi-bot closed this Aug 13, 2024
auto-merge was automatically disabled August 13, 2024 04:29

Pull request was closed

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