prune .github prune .git prune examples exclude .gitignore exclude CHANGES.md