git-filter-repo/.gitignore