Henry Mercer 42c6f6c925 Remove redundant PR check ... This is no longer necessary now that this feature is enabled by default.		2024-07-31 10:56:00 +01:00
..
checks	Remove redundant PR check	2024-07-31 10:56:00 +01:00
sync.py	Switch param order for clarity	2024-06-24 17:02:29 +02:00