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