Scusate, sono un po' ot perché GIT non è Linux.
Ma visto il traffico su questa mailing list e il numero di conoscitori di Git iscritti, penso di non essere del tutto fuori luogo.
allora,
git commit crea un commit nuovo e viene archiviato data di creazione del commit.
git push allinea i dati locali con i dati su un server locale portando le "novità" dal pc locale al server remoto.
git pull fa il contrario.
Usando git pull e git push i dati locali e remoti sono uguali.
E' possibile usando i comandi standard di GIT sapere quando ho fatto git push?
Se faccio"git log" so quando sono stati creati i vari commit, ma non quando ho allineato i dati locali con quelli in remoto.
In pratica, vorrei sapere da quando è disponibile sul server un mio commit. E' possibile?
Ciao,
Lorenzo