Elimine files específicos por extensión localmente y luego presione Eliminar a remoto

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 .