Merge pull request #9233 from davidhorstmann-arm/make-code-style-work-in-commit-hook

Allow `code_style.py` to work from a git hook