¿Eliminar archivos grandes del historial de git?
Tenemos un repositorio de git remoto donde no hay restricciones de tamaño para los archivos y hemos introducido 300 MB. Luego nos dimos cuenta y luego eliminamos el archivo del repositorio.
Mientras tanto, se agregó el mismo repositorio a github y cuando intentamos enviar los cambios a github, obtenemos el error de tamaño de archivo grande.
remote: error: File dir/filename is 312.27 MB; this exceeds GitHub's file size limit of 100 MB
Para solucionar esto, intenté usar la solución interactiva de rebase git sugerida en¿Cómo eliminar / eliminar un archivo grande del historial de confirmación en el repositorio de Git?, pero al final de la operación de rebase termino con lo siguiente cuando lo hagoestado git
[18:10:35] $ git status
On branch master
Your branch and 'origin/master' have diverged,
and have 8 and 24 different commits each, respectively.
(use "git pull" to merge the remote branch into yours)
Y si usogit pull entonces todos los cambios que he eliminado se devuelven al repositorio de git. ¿Cómo puedo solucionar esto?