tuhaihe commented on PR #1616: URL: https://github.com/apache/cloudberry/pull/1616#issuecomment-4052913144
> > Very Cool! Thanks! > > Due to many commits in this PR, we need to merge this PR via the CLI. I can help with this. > > (Steps need to be added here.) > > Hi! Thank you, your help will be much appreciated! Merging via CLI looks dangerous... I requires to git push into branch at some point, isn't it? `Rebase & merge` in UI looks much more safe :) Hi @reshke, Thanks for raising this. The main reason I suggested merging via CLI is that this PR contains many commits, and GitHub has limitations when handling large PRs (100+ commits) via the UI. For example, in another PR I recently helped with — https://github.com/apache/cloudberry/pull/1547 — we also had to merge via CLI for the same reason. That said, once another committer approves this PR, we can try the UI merge option first. If GitHub allows it, we can certainly proceed that way. Otherwise, we can fall back to merging via CLI. -- 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] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
