[GitHub] flink issue #5052: [FLINK-8133][REST][docs] Generate REST API documentation

2017-12-07 Thread zentol
Github user zentol commented on the issue: https://github.com/apache/flink/pull/5052 merging. ---

[GitHub] flink issue #5052: [FLINK-8133][REST][docs] Generate REST API documentation

2017-12-07 Thread zentol
Github user zentol commented on the issue: https://github.com/apache/flink/pull/5052 Since you found no errors I would like to merge it as is (including the changes to `rest_api.md`) and iterate upon it in follow-ups. My goal was not to provide a picture-perfect documentation, but to

[GitHub] flink issue #5052: [FLINK-8133][REST][docs] Generate REST API documentation

2017-12-07 Thread kl0u
Github user kl0u commented on the issue: https://github.com/apache/flink/pull/5052 From what I understand, this PR is just for the tooling, and not for the actual content. So the changes in the `test_api.md` are just a mock to see how it would look. If this is correct, t

[GitHub] flink issue #5052: [FLINK-8133][REST][docs] Generate REST API documentation

2017-11-22 Thread kl0u
Github user kl0u commented on the issue: https://github.com/apache/flink/pull/5052 Thanks @zentol I will have a look. ---