git: deleting remote tracked branches

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

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

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