Come recuperare un file che ho cancellato nel mio repo locale dal repo remoto in Git

Non hai davvero bisogno del repo remoto, a meno che tu non voglia dire che hai effettivamente danneggiato il tuo repo locale cancellando parte della tua directory .git/.

In realtà potrei aiutarti con questo -- non è così difficile come sembra -- ma non credo che sia quello di cui hai bisogno.

Diciamo che hai cancellato il file html/index.html. Diciamo che hai controllato l'eliminazione 3 revisioni fa, e la rivuoi indietro.

Diciamo che vuoi la versione dal ramo 'master' e che il repo remoto con cui lavori si chiama 'origin' (che è il default).

1. git checkout remotes/origin/master -- html/index.html 

This takes your local repo's record of what is on the remote master branch, copies it first to your index, and then to the working tree.

Questo funziona sia che tu abbia controllato la tua cancellazione o meno, ma se non l'hai fatto, potresti preferire usare il tuo 'master' locale invece del 'remote/origin/master' ramo, per mantenere le cose sincronizzate.

In alternativa, puoi fare un 'git fetch origin' prima, per ottenere l'ultima versione dal server, prima di fare il checkout.

Oppure puoi fornire QUALSIASI commit, per ID o nome del ramo, invece di remote/origin/master.

Ci sono una miriade di usi per questa tecnica.