Github user aljoscha commented on the issue:
https://github.com/apache/flink/pull/5612
Thanks @zentol! I'm fixing the indentation and merging.
Btw, I'm using spaces in `run-pre-commit-tests.sh` because all other shell
scripts in that folder also use spaces. Inconsistent, yes, but what can you do.
I think at some point we have to normalise all those and enforce.---
