fhueske commented on issue #9544: [FLINK-13875][docs] Add missing redirects to the documentation URL: https://github.com/apache/flink/pull/9544#issuecomment-525662497 Thanks for the PR @sjwiesman! I think we can remove the redirects for some of the index pages (`api_tutorials`, `setup_tutorials`, `tutorials_index`) since these don't have any content and are not linked from the menu or other pages. Also the `redirect` and `permalink` entries need to be switched to make the redirect work. I'll fix that and will merge the PR. @1u0 Tooling to automatically identify potential pages to redirect would be great! But I think it exceeds the scope of this PR. Would you like to start a discussion on the dev mailing list for this? Thanks, Fabian
---------------------------------------------------------------- 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] With regards, Apache Git Services
