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

Add back journal checkpoint command #18174

Merged
merged 1 commit into from
Sep 20, 2023

Conversation

Xenorith
Copy link
Contributor

No description provided.

Copy link
Contributor

@jja725 jja725 left a comment

Choose a reason for hiding this comment

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

LGTM

@jja725
Copy link
Contributor

jja725 commented Sep 20, 2023

alluxio-bot, merge this please

@alluxio-bot
Copy link
Contributor

merge failed:
Merge refused because pull request does not have label start with type-

@jja725 jja725 added the type-feature This issue is a feature request label Sep 20, 2023
@jja725
Copy link
Contributor

jja725 commented Sep 20, 2023

alluxio-bot, merge this please

@alluxio-bot alluxio-bot merged commit 796b66f into Alluxio:main Sep 20, 2023
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type-feature This issue is a feature request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants