croemer10 hours agoI've also found pre-commit useful to prevent CI failure. If one runs into edge cases, one can switch it off.