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