Krzysztof kuhy Rudnicki 5f023afe96 perf(pre-commit): move mypy/pylint/bandit from pre-push to pre-commit ... Heaviest hooks now run on tiny per-commit staged diffs instead of the full force-push diff. After the recent filter-repo history rewrite, origin/main shares no ancestor with local main, so pre-push was feeding mypy/pylint/bandit ~every .py file in the repo, OOM-killing inside the 4 GiB cgroup. Per-commit cost: ~5-10 s on Python edits. Pre-push now only runs pytest-coverage (scoped) and prettier (scoped+isolated).		2026-05-14 21:20:21 +02:00
..
.fvmrc	chore: consolidate root configs into meta/, drop unused C dir + split/pdfCentered/geo_data	2026-05-14 20:40:12 +02:00
.pre-commit-config.yaml	perf(pre-commit): move mypy/pylint/bandit from pre-push to pre-commit	2026-05-14 21:20:21 +02:00
lint_python.sh	chore: consolidate root configs into meta/, drop unused C dir + split/pdfCentered/geo_data	2026-05-14 20:40:12 +02:00
pyproject.toml	chore: consolidate root configs into meta/, drop unused C dir + split/pdfCentered/geo_data	2026-05-14 20:40:12 +02:00
requirements.txt	chore: consolidate root configs into meta/, drop unused C dir + split/pdfCentered/geo_data	2026-05-14 20:40:12 +02:00
run.sh	chore: consolidate root configs into meta/, drop unused C dir + split/pdfCentered/geo_data	2026-05-14 20:40:12 +02:00