Estou tentando usar git-filter-repo para remover binários grandes do meu repositório. Eu não usei python antes. Instalei o python mais recente clicando no arquivo .exe baixado, pois esse é um requisito do git-filter-repo. As instruções dizem:
git-filter-repo é um script python de arquivo único, que foi feito para tornar a instalação para uso básico trivial: basta copiá-lo em seu $PATH
https://github.com/newren/git-filter-repo/#how-do-i-install-it
Eu tentei abrir o git-filter-repo.py com o aplicativo python. Também não consigo usar cd, ls ou dir no aplicativo python.