Skip to content
Snippets Groups Projects
  1. May 14, 2021
  2. May 12, 2021
  3. May 07, 2021
  4. Apr 30, 2021
  5. Apr 20, 2021
  6. Apr 14, 2021
  7. Apr 13, 2021
  8. Apr 12, 2021
  9. Apr 09, 2021
  10. Apr 08, 2021
  11. Mar 31, 2021
  12. Mar 30, 2021
  13. Mar 25, 2021
  14. Mar 18, 2021
  15. Mar 09, 2021
    • Andrew Morgan's avatar
      Prevent the config-lint script erroring out on any sample_config changes (#9562) · 22db45bd
      Andrew Morgan authored
      I noticed that I'd occasionally have `scripts-dev/lint.sh` fail when messing about with config options in my PR. The script calls `scripts-dev/config-lint.sh`, which attempts some validation on the sample config.
      
       It does this by using `sed` to edit the sample_config, and then seeing if the file changed using `git diff`.
      
      The problem is: if you changed the sample_config as part of your commit, this script will error regardless.
      
      This PR attempts to change the check so that existing, unstaged changes to the sample_config will not cause the script to report an invalid file.
      Unverified
      22db45bd
  16. Feb 16, 2021
  17. Feb 10, 2021
  18. Jan 21, 2021
  19. Dec 11, 2020
  20. Nov 24, 2020
  21. Oct 29, 2020
  22. Oct 28, 2020
  23. 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
  24. Oct 07, 2020
  25. Sep 29, 2020
  26. Sep 18, 2020
  27. Sep 17, 2020
  28. Sep 04, 2020
  29. Sep 03, 2020
  30. Aug 26, 2020
  31. Aug 05, 2020
  32. Aug 04, 2020
  33. Jul 28, 2020
  34. Jul 20, 2020
Loading