nevzheng commented on PR #13517: URL: https://github.com/apache/gravitino/pull/13517#issuecomment-6175270392
@jerryshao thanks for the approval! CI is green on your merge commit. Could you shepherd this to merge? The branch needs an update from `main` first, and that will dismiss the approval if I push it. The follow-ups from your last three comments will land in #13837. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
