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