Skip to content
Snippets Groups Projects
  1. Dec 28, 2022
  2. Dec 21, 2022
  3. Aug 17, 2022
  4. Apr 20, 2022
  5. Apr 14, 2022
  6. Apr 08, 2022
  7. Mar 04, 2022
  8. Mar 02, 2022
  9. Oct 06, 2021
  10. Aug 12, 2021
  11. Aug 10, 2021
  12. May 14, 2021
  13. Mar 31, 2021
  14. Mar 30, 2021
  15. Mar 25, 2021
  16. Jan 21, 2021
  17. Oct 29, 2020
  18. Oct 28, 2020
  19. 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. 
      654e239b
  20. Jul 20, 2020
  21. Jul 05, 2020
    • Will Hunt's avatar
      isort 5 compatibility (#7786) · 62b1ce85
      Will Hunt authored
      The CI appears to use the latest version of isort, which is a problem when isort gets a major version bump. Rather than try to pin the version, I've done the necessary to make isort5 happy with synapse.
      62b1ce85
  22. Jun 25, 2020
  23. Nov 01, 2019
  24. Oct 23, 2019
  25. Jul 10, 2019
Loading