Dear all, Felix, Oliver and myself have been using a set of pre-commit hook for a while in our dune-udg and dune-grid-glue project. These hooks check that no new tabs are introduced in the source code. I think it would a wise to add these hooks to the pdelab repositories as well. Does anybody have any objections? Christian