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