[GitHub] flink issue #4809: [FLINK-7803][Documentation] Add missing savepoint informa...
Github user zentol commented on the issue: https://github.com/apache/flink/pull/4809 @razvan100 I've merged the PR, could you close it? ---
[GitHub] flink issue #4809: [FLINK-7803][Documentation] Add missing savepoint informa...
Github user GJL commented on the issue: https://github.com/apache/flink/pull/4809 Thank you @zentol ---
[GitHub] flink issue #4809: [FLINK-7803][Documentation] Add missing savepoint informa...
Github user zentol commented on the issue: https://github.com/apache/flink/pull/4809 will merge this while addressing the comments ---
[GitHub] flink issue #4809: [FLINK-7803][Documentation] Add missing savepoint informa...
Github user razvan100 commented on the issue: https://github.com/apache/flink/pull/4809 Okay, so if you account for it in the review then I don't need to make another empty commit. Thanks! ---
[GitHub] flink issue #4809: [FLINK-7803][Documentation] Add missing savepoint informa...
Github user zentol commented on the issue: https://github.com/apache/flink/pull/4809 @razvan100 You can re-trigger the build by adding a new commit (even en empty one). However, please don't do this for the sake of achieving a picture perfect build (in particular for documentation changes which can't affect the build anyway); we are aware of certain test instabilities and account for those in the review. As for reviewers, you cannot explicitly request a review. You can mention committers if (as you did with aljoscha) but I would ask you to refrain from doing so unless absolutely necessary. ---
[GitHub] flink issue #4809: [FLINK-7803][Documentation] Add missing savepoint informa...
Github user razvan100 commented on the issue: https://github.com/apache/flink/pull/4809 @aljoscha Hi, do you know if it's possible to retrigger the build? Don't believe it fails because of my change. Also, how can I add reviewers? Thanks! ---