@laeubi I would like to add a whitespace removal clean-up to this repo.
I think I saw a discussion between you and @HannesWell as few days ago how we can add a batch-clean-up to a repo. Can you point me to this so that I can see if I can add the whitespace cleanup?