samredai commented on pull request #4057: URL: https://github.com/apache/iceberg/pull/4057#issuecomment-1033014354
> documentation or docs? The PR currently is using `documentation` for the folder name but I'm ok with `docs` too. @jackye1995 do you want to update that in your PR? As for merging this PR or moving the change to the other PR, I don't have an opinion either way. Although merging this and then rebasing the other PR might make it slightly easier since all you'll have to do then is `mkdir docs/rest && cp rest_docs/rest_docs/rest-catalog-open-api.yaml docs/rest/rest-catalog-open-api.yaml` without editing the file. -- 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]
