snazy commented on PR #4344: URL: https://github.com/apache/polaris/pull/4344#issuecomment-4390247152
No, I don't think this is a policy change. Polaris intentionally does not require all review threads to be resolved before merge. So I merged this once the blocking feedback was addressed. The remaining points were, as I understood them, non-blocking: one optional suggestion about moving Developer Docs under Community, and one wording question. I did apply the shorter wording to the menu entry itself. I kept the longer wording in the inline `/docs/` link intentionally, because I wanted to make it explicit that this is the main-branch unreleased docs. I should have replied in those threads before merging. That's fair. -- 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]
