rmetzger commented on pull request #14223:
URL: https://github.com/apache/flink/pull/14223#issuecomment-733817020


   This change is already quite big. I would do such changes in follow up PRs. 
Ideally this change only focuses on the structure, individual pages should be 
updated separately.
   (As a side note: I'm not convinced that splitting the Configuration page is 
a good idea, because then you can not search the page for config keys anymore 
(with CTRL+F))


----------------------------------------------------------------
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.

For queries about this service, please contact Infrastructure at:
[email protected]


Reply via email to