pnowojski edited a comment on pull request #13820: URL: https://github.com/apache/flink/pull/13820#issuecomment-718059114
There was a lot of discussions around this topic: - in the ticket itself - in two mailing lists discussions referenced in the ticket - some offline discussion between me @zentol and @aljoscha Generally speaking, I'm personally fine with changing this to double indentations, but let's change the code style first and me and @zentol are against a gradual change (we would prefer to reformat the whole code base at once) ---------------------------------------------------------------- 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]
