Simplemente empujé un montón de estúpidos files de .map con extensión .map a mi repository remoto con un push.
Quiero eliminar esos files de maps y hay muchos.
¿Cuál es la mejor manera de hacer esto? Olvidé agregar .map a mi gitignore, bueno, eso está ahí ahora, pero ahora necesito regresar y borrar los files tanto localmente como en el control remoto.
Si está en un sistema tipo UNIX (Linux o MacOS), puede usar el command find, de esta manera:
find . -type f -name "*.map" | xargs git rm
Esto eliminará todos los files de maps y pondrá en etapa las eliminaciones para una confirmación.
A continuación, puede seguir adelante y hacer un commit git y un git push .