Il giorno lun 28 ago 2017 alle ore 14:37 Lorenzo LobbaE' 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.
Forse non ho capito bene la tua domanda, ma con git log puoi visualizzate anche i riferimenti agli HEAD locale e remoto.
Quindi se e' tutto allineato avrai qualcosa di simile al seguente:
... (HEAD -> master, origin/master, origin/HEAD)
Altrimenti HEAD -> master sara' piu' avanti di origin/HEAD visualizzando il commit in cui hai fatto la push.
Ciao
Walter