Skip to content

Conversation

@github-actions
Copy link

Combined PRs ➡️📦⬅️

✅ The following pull requests have been successfully combined on this PR:

This PR was created by the github/combine-prs action

@github-actions github-actions bot requested a review from avdv as a code owner November 21, 2023 16:06
@github-actions github-actions bot added combined-pr dependencies Pull requests that update a dependency file labels Nov 21, 2023
@avdv
Copy link
Member

avdv commented Nov 21, 2023

@Mergifyio rebase

@mergify
Copy link
Contributor

mergify bot commented Nov 21, 2023

rebase

✅ Branch has been successfully rebased

@avdv avdv force-pushed the combined-prs-branch branch from 5a41960 to 9b96e12 Compare November 21, 2023 16:07
@avdv avdv added the merge-queue merge on green CI label Nov 21, 2023
@mergify mergify bot merged commit d32cc8d into master Nov 21, 2023
@mergify mergify bot deleted the combined-prs-branch branch November 21, 2023 16:50
@mergify mergify bot removed the merge-queue merge on green CI label Nov 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

combined-pr dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants