Skip to content

Combined PRs #2034

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 4 commits into from
Nov 10, 2023
Merged

Combined PRs #2034

merged 4 commits into from
Nov 10, 2023

Conversation

@github-actions
Copy link

@github-actions github-actions bot commented Nov 10, 2023

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 10, 2023 09:37
@github-actions github-actions bot added combined-pr dependencies Pull requests that update a dependency file labels Nov 10, 2023
@avdv
Copy link
Member

avdv commented Nov 10, 2023

@Mergifyio rebase

@mergify
Copy link
Contributor

mergify bot commented Nov 10, 2023

rebase

✅ Branch has been successfully rebased

@avdv avdv force-pushed the combined-prs-branch branch from 254e568 to 836ad6f Compare November 10, 2023 09:38
@avdv avdv added the merge-queue merge on green CI label Nov 10, 2023
@mergify mergify bot merged commit 86db02f into master Nov 10, 2023
@mergify mergify bot deleted the combined-prs-branch branch November 10, 2023 10:41
@mergify mergify bot removed the merge-queue merge on green CI label Nov 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@avdv avdv avdv approved these changes

Assignees

No one assigned

Labels

combined-pr dependencies Pull requests that update a dependency file

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@avdv @renovate-bot