Skip to content
Snippets Groups Projects
  1. Nov 06, 2020
  2. Oct 28, 2020
  3. Oct 15, 2020
    • Andrew Morgan's avatar
      Add option to scripts-dev/lint.sh to only lint files changed since the last git commit (#8472) · 654e239b
      Andrew Morgan authored
      This PR makes several changes to the `./scripts-dev/lint.sh` script, which lints the codebase with a number of tools:
      
      * Adds usage information, with `-h` flag to show it. Otherwise it will show when providing an unknown flag.
      * Adds option `-d` which will check both staged and unstaged files that have changed since the last commit and add them to the list of files to lint.
        - Note that only files without an extension, or with a `.py` extension will be allowed. This prevents editing bash scripts causing the linters to break on non-python files.
      * Improves the print-out of which files/directories are being linted. 
      654e239b
  4. Sep 17, 2020
  5. May 20, 2020
  6. May 14, 2020
  7. Feb 21, 2020
  8. Feb 04, 2020
  9. Jan 16, 2020
  10. Dec 04, 2019
Loading