Es es un post apunte, para borrar ficheros del historial de modificaciones, de un repositorio Git. Esta acción me ha costado un poco encontrarla, así que aquí me hago eco. Se trata de una acción de limpieza del historial, ya que quizá queremos sacar ficheros con información sensible, que no queremos que estén en el historial: configuraciones locales, ficheros con alguna contraseña, ficheros temporales, ficheros de configuración del entorno de desarrollo, ficheros que necesitan compilación en el servidor de instalación, etc..

¡Atención! Esta acción no deja rastro de dichos ficheros, pero luego te deja el historial que no puedes redistribuirlo como si no hubiera pasado nada. Las identificaciones de las cosas habrán cambiado, se habrán reescrito sólo guardando iguales las fechas y autores. Y en terceros repositorios con Git no vas a poder hacer ‘git pull’ como si no hubiera pasado nada. Luego dejo también una solución a esto último.