Skip to content
Snippets Groups Projects
  1. Aug 17, 2022
  2. Apr 20, 2022
  3. Apr 14, 2022
  4. Apr 08, 2022
  5. Mar 04, 2022
  6. Mar 02, 2022
  7. Oct 06, 2021
  8. Aug 12, 2021
  9. Aug 10, 2021
  10. May 14, 2021
  11. Mar 31, 2021
  12. Mar 30, 2021
  13. Mar 25, 2021
  14. Jan 21, 2021
  15. Oct 29, 2020
  16. Oct 28, 2020
  17. 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
  18. Jul 20, 2020
  19. 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
  20. Jun 25, 2020
  21. Nov 01, 2019
  22. Oct 23, 2019
  23. Jul 10, 2019
Loading