.ci .github extension misc server .gitignore LICENSE.md README.md TESTING.org TODO.org flake.lock flake.nix mypy.ini pytest.ini quicktest setup.py tox.ini