Re: [PR] [MINOR] Remove add-to-project Github Action [gravitino]

jerqi commented on PR #5951: URL: https://github.com/apache/gravitino/pull/5951#issuecomment-2559691570 @jerryshao Thanks for your contribution. Merged to main branch. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use th

Re: [PR] [MINOR] Remove add-to-project Github Action [gravitino]

jerqi merged PR #5951: URL: https://github.com/apache/gravitino/pull/5951 -- 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...@gravitino.