Improvements to the lint-files.py script:
- Avoid use of
shell=True. - Check the permissions in git's metadata instead of in the filesystem. This stops the umask or filesystem from interfering. It's also more efficient as it only needs a single call to
git ls-files.
(what triggered this change was File "..." contains a shebang line, but has the file permission 775 instead of the expected executable permission 755. errors running the script locally).