prune .github/ exclude .gitignore exclude .readthedocs.yaml