Comment supprimer un grand fichier de l'histoire du repo github

$ git gc --prune=now --aggressive
Xanthous Xenomorph