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.78.0-next in main #22668

Merged
merged 1 commit into from
Nov 13, 2023
Merged

chore: Bump to 7.78.0-next in main #22668

merged 1 commit into from
Nov 13, 2023

Conversation

che-bot
Copy link
Contributor

@che-bot che-bot commented Nov 10, 2023

Signed-off-by: Mykhailo Kuznietsov mkuznets@redhat.com

Signed-off-by: Mykhailo Kuznietsov <mkuznets@redhat.com>
@che-bot che-bot added target/branch Indicates that a PR will be merged into a branch other than master. status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community. labels Nov 10, 2023
Copy link
Contributor

@dmytro-ndp dmytro-ndp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

PR looks good to merge, IMHO.

Thank you for the fix, @mkuznyetsov

@mkuznyetsov mkuznyetsov merged commit 677d4d6 into main Nov 13, 2023
3 checks passed
@mkuznyetsov mkuznyetsov deleted the pr-main-to-7.78.0-next branch November 13, 2023 11:35
@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 Nov 13, 2023
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.

None yet

3 participants