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

chore: Bump to 7.80.0-next in main #22746

Merged
merged 1 commit into from
Jan 2, 2024
Merged

chore: Bump to 7.80.0-next in main #22746

merged 1 commit into from
Jan 2, 2024

Conversation

che-bot
Copy link
Contributor

@che-bot che-bot commented Dec 21, 2023

Signed-off-by: Mykhailo Kuznietsov [email protected]

@che-bot che-bot added status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community. target/branch Indicates that a PR will be merged into a branch other than master. labels Dec 21, 2023
Signed-off-by: Mykhailo Kuznietsov <[email protected]>
@mkuznyetsov mkuznyetsov force-pushed the pr-main-to-7.80.0-next branch from 5482669 to 3a10367 Compare January 2, 2024 14:59
@ibuziuk ibuziuk self-requested a review January 2, 2024 18:08
@ibuziuk ibuziuk merged commit 2571324 into main Jan 2, 2024
5 checks passed
@ibuziuk ibuziuk deleted the pr-main-to-7.80.0-next branch January 2, 2024 18:09
@che-bot che-bot removed the status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community. label Jan 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
target/branch Indicates that a PR will be merged into a branch other than master.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants