Re: [PR] [Minor] Update how-to-build.md [gravitino]

jerryshao merged PR #4730: URL: https://github.com/apache/gravitino/pull/4730 -- 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: commits-unsubscr...@gravit

Re: [PR] [Minor] Update how-to-build.md [gravitino]

jerryshao closed pull request #4730: [Minor] Update how-to-build.md URL: https://github.com/apache/gravitino/pull/4730 -- 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 unsubs

Re: [PR] [Minor] Update how-to-build.md [gravitino]

jerryshao merged PR #4729: URL: https://github.com/apache/gravitino/pull/4729 -- 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: commits-unsubscr...@gravit