Actuellement j'ai
- Dépôt GitHub vide
- Dépôt de serveur SSH (principal)
- Dépôt local
Le repo du serveur SSH était le repo le plus récent (site de production), j'ai donc fait un clone Git de là vers le local. J'ai ensuite essayé de faire un git push
GitHub.
Tout s'est bien passé, mais cela a dit que le nom de fichier.gz était trop grand pour GitHub. Je n'avais pas besoin de ce fichier, j'ai donc exécuté plusieurs commandes Git pour m'en débarrasser du cache Git, puis repoussé vers le serveur SSH.
Je ne vois pas le gros fichier localement mais il est toujours sur le serveur SSH même si git diff
ne renvoie rien et git push renvoie "Tout est à jour" - Et même si le fichier n'est pas visible dans le référentiel local lorsque j'essaie de pousser vers GitHub je reçois toujours une erreur à ce sujet
à distance: erreur: le fichier fpss.tar.gz fait 135,17 Mo; cela dépasse la limite de taille de fichier de GitHub de 100 Mo
J'ai suivi les étapes sous "résoudre le problème" répertoriées dans l'aide de GitHub, cela n'aurait-il pas dû être suffisant?
Comment le fichier est-il toujours dans l'éther quand il n'est pas local ou répertorié dans git status / diff / push?
git log -- the_big_file
vous retourne quelque chose, le fichier est toujours dans l'historique.
git push
que tout est à jour? Depuis que vous avez changé d'histoire, il aurait dû se plaindre que la poussée n'est pas possible et que vous auriez à la forcer.