tillrohrmann commented on pull request #14223: URL: https://github.com/apache/flink/pull/14223#issuecomment-733856378
Hmm, locally it builds for me. But let me check whether I can find the problem. Concerning the redirect links, I have also thought about it. We can definitely do it but it will probably only be a best effort. Moreover, if you link to the latest documentation, then you shouldn't expect that all links stay forever the same. Maybe we should stop using `https://ci.apache.org/projects/flink/flink-docs-stable/` as the URL for the latest docs and instead use an explicit URL like `https://ci.apache.org/projects/flink/flink-docs-release-1.10/` to avoid this problem in the future. ---------------------------------------------------------------- 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]
