Skip to content
Snippets Groups Projects
  1. Nov 03, 2021
  2. Oct 11, 2021
  3. Oct 08, 2021
  4. Aug 03, 2021
  5. Jun 17, 2021
  6. Apr 13, 2021
  7. Apr 12, 2021
  8. Apr 09, 2021
  9. Apr 08, 2021
  10. Apr 06, 2021
  11. Apr 02, 2021
  12. Mar 24, 2021
  13. Mar 16, 2021
  14. Mar 03, 2021
  15. Feb 16, 2021
  16. Jan 26, 2021
  17. Jan 20, 2021
  18. Oct 27, 2020
  19. Oct 21, 2020
  20. Oct 20, 2020
  21. 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. 
      Unverified
      654e239b
  22. Sep 23, 2020
  23. Jun 01, 2020
  24. Jun 20, 2019
  25. Jun 12, 2019
  26. Apr 16, 2019
  27. Dec 21, 2018
  28. Oct 21, 2018
  29. Dec 09, 2016
  30. Jan 07, 2016
  31. Sep 04, 2015
  32. Aug 26, 2015
  33. Aug 25, 2015
  34. Aug 12, 2015
  35. Jun 15, 2015
Loading