Skip to content
Snippets Groups Projects
  1. Aug 31, 2021
  2. Aug 27, 2021
  3. Aug 16, 2021
  4. Aug 10, 2021
  5. Jul 27, 2021
  6. Jul 22, 2021
  7. Jun 11, 2021
  8. Feb 17, 2021
  9. Nov 06, 2020
  10. Oct 28, 2020
  11. 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
  12. Sep 17, 2020
  13. May 20, 2020
  14. May 14, 2020
  15. Feb 21, 2020
  16. Feb 04, 2020
  17. Jan 16, 2020
  18. Dec 04, 2019
Loading