Git Tutorials

Home|Git Tutorials

Come fare revert di un merge non ancora pushato

Si può eseguire questo comando [crayon-5e28d1ebb04fa933299277/] Dove ORIG_HEAD punterà all'ultimo commit prima del merge. -- merge non ha niente a che fare con il classico merge, è come eseguire git reset --hard ORIG_HEAD, ma più sicuro visto che non tocca i file non ancora committati.

Di |2018-06-21T17:29:23+02:0021 Giugno, 2018|Git Tutorials|0 Commenti

Impostare Bitbucket per accounts multipli

Quando si deve lavorare con diversi accounts Git sullo stesso terminale, va effettuata una configurazione particolare delle chiavi ssh. Questo perché non si può usare la stessa chiave SSH per 2 account diversi, ma bisogna crearne 2 distinti e configurare il client ssh di conseguenza. Per prima cosa creiamo 2 chiavi distinte: [crayon-5e28d1ebb09f5453135826/] Aggiungete quindi

Di |2014-12-27T18:20:21+01:0021 Maggio, 2014|Git Tutorials|0 Commenti

Fare ignorare a Git i cambi di permessi

Se stai lavorando al tuo progetto, magari in team o da diversi terminali, spesso capita che vengono effettuati commit di files dove l'unica cosa che è cambiata è il permesso di lettura/scrittura degli stessi. Per evitare questo problema si può impostare git in modo che ignori il cambio dei permessi. Questa risposta di stackoverflow è

Di |2014-05-21T21:02:11+02:0021 Maggio, 2014|Git Tutorials|0 Commenti