Dima Gerasimov 71fdeca5e1 ci: update mypy config and make ruff config more consistent with other projects		2024-08-31 02:17:49 +01:00
..
commits.py	ruff: process remaining existing checks and suppress the annoying ones	2024-08-28 04:06:32 +01:00
github.py	ci: update mypy config and make ruff config more consistent with other projects	2024-08-31 02:17:49 +01:00