Closed huguesdk closed 4 months ago
There hasn't been any activity on this pull request in the past 4 months, so it has been marked as stale and it will be closed automatically if no further activity occurs in the next 30 days. If you want this PR to never become stale, please ask a PSC member to apply the "no stale" label.
superseded by #1037.
this is to make pre-commit pass on new pull requests.
note that i disabled an error in some files to make it pass, as i don't know the modules enough to fix the error properly.