NJrslv commented on PR #1629: URL: https://github.com/apache/cloudberry/pull/1629#issuecomment-4168260111
@tuhaihe Dianjin, Hi! I restored the config file here (the one I was editing manually): https://github.com/apache/cloudberry/pull/1629/changes/f26c2877f03db0f0712f25770a169b35c17c4318. We'll regenerate it cleanly from configure.ac in the next PRs, I guess. I think we're now good to merge. The only question is: squash or merge? This PR has quite a history of commits, so it might be useful to preserve it. But throughout our work on this extension, we've been making fix-up commits, and the history should be cleaned up - grouped before the merge. I don't think preserving the commit history is an extremely important option. The cleanest and easiest approach would be to squash all the commits into one and merge. What do you think? -- 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]
