Tag: Git
- December 28, 2016 git: deleting remote tracked branches
- August 19, 2016 git tip: multiple identities
- November 23, 2013 git-flow: il modello di git workflow che utilizzo
- December 8, 2012 zsh: perché non utilizzo bash
- August 30, 2012 Impariamo git con un semplice tutorial
- December 6, 2011 gitignore: un filtro per escludere i file da non versionare in un repository git