Since I’m always DuckDuckGo-ing for these information, I’ll set a note here for future reference and for all of you, fellow readers. Situation: one (or more) remote-tracked git branches got deleted (either locally or remote). You are in either one of the two cases following: you have deleted the local branch and you want to … Continue reading git: deleting remote tracked branches
Tag: git
git tip: multiple identities
If you are using git version control for personal and work repositories, it is tricky to change your email address (in ~/.gitconfig) to properly use the correct email before committing to a repo (this is what I do, depending on the nature of the repo: personal repo -> personal email, work repo -> work email). … Continue reading git tip: multiple identities
git-flow: il modello di git workflow che utilizzo
Dopo aver letto l’interessante presentazione “How GitHub uses GitHub to build GitHub“, ho deciso di dare un’occhiata al modello di workflow chiamato git-flow [che si basa, ovviamente, sull’utilizzo di git]. In sintesi: Ci sono due branch sempre presenti: master e develop: master contiene tutti i commit per cui il repo è deployabile in produzione [production … Continue reading git-flow: il modello di git workflow che utilizzo
zsh: perché non utilizzo bash
Su tutte le macchine Linux e OSX che amministro non uso come shell di default la bash; uso invece zsh, perché: zsh si offre di completare anche le opzioni e i parametri dei programmi più usati; zsh fa spelling correction dei comandi digitati, chiedendo interattivamente se volete correggere il comando; zsh offre una customizzazione più … Continue reading zsh: perché non utilizzo bash
Impariamo git con un semplice tutorial
GitHub, il social hoster di codice open source più famoso degli ultimi anni, ha messo a disposizione un semplice tutorial per imparare le basi di git, il SCM ideato da Linus Torvalds e lo standard de facto dei progetti open source. Il tutorial si trova su Code School – Try Git.
gitignore: un filtro per escludere i file da non versionare in un repository git
Prima di fare un push su un repository git è importante avere configurato il gitignore, ovvero specificare quali files non devono essere versionati in un repository git. A titolo di esempio: i file .pyc, o più in generale i prodotti della compilazione di un qualsiasi file di sorgente; versionare questi files, infatti, non ha senso. … Continue reading gitignore: un filtro per escludere i file da non versionare in un repository git