Attualmente ho
- Vuoto repository GitHub
- Repository server SSH (principale)
- Repo locale
Il repository di server SSH era il repository più aggiornato (sito di produzione), quindi da lì ho eseguito un clone Git in locale. Ho quindi provato a fare un git push
GitHub.
Tutto è andato bene ma poi ha detto qualcosa sul nome di file.gz essendo troppo grande per GitHub. Non avevo bisogno di questo file, quindi ho eseguito diversi comandi Git per eliminarlo dalla cache di Git, quindi ho inviato nuovamente al server SSH.
Non vedo il file di grandi dimensioni localmente ma è ancora sul server SSH anche se git diff
non restituisce nulla e git push restituisce "Tutto è aggiornato" - E anche se il file non è visibile nel repository locale quando provo a eseguire il push in GitHub Ottengo ancora errori al riguardo
remoto: errore: il file fpss.tar.gz è 135,17 MB; questo supera il limite della dimensione del file di GitHub di 100 MB
Ho seguito i passaggi in "risoluzione del problema" elencati nella guida di GitHub, quindi non sarebbe bastato?
In che modo il file è ancora nell'etere quando non è locale o elencato in git status / diff / push?
git log -- the_big_file
ti restituisce qualcosa, il file è ancora nella cronologia.
git push
dire che tutto è aggiornato? Da quando hai cambiato la storia, avrebbe dovuto lamentarsi del fatto che la spinta non è possibile e che dovresti forzarla.