Sto lavorando su un sito con un server che esegue Git. Sto usando Git per la distribuzione (non GitHub). Questo è stato impostato prima del mio coinvolgimento utilizzando un metodo hook e ho fatto riferimento a questa domanda e ho inserito i comandi seguenti, ma non ha funzionato.
Come si estrae un singolo file dal server? Ad esempio, se volessi aggiornare il mio file locale index.php? git pull index.php
?