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