Temos um repositório remoto do git, onde não há restrições de tamanho para os arquivos e colocamos 300MB nele. Percebemos isso e removemos o arquivo do repositório.

Enquanto isso, o mesmo repositório foi adicionado ao github e quando tentamos enviar as alterações para o github, obtemos o erro de tamanho de arquivo grande.

remote: error: File dir/filename is 312.27 MB; this exceeds GitHub's file size limit of 100 MB

Para corrigir isso, tentei usar a solução interativa git rebase sugerida emComo remover / excluir um arquivo grande do histórico de consolidação no repositório Git?, mas no final da operação de rebase, termino com o seguinte quando façostatus 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)

E se eu usarpuxão todas as alterações que eu removi são trazidas de volta ao repositório git. Como faço para corrigir isso?