Questo è più che altro un promemoria per me. Per mergiare due (o più ) repository git remoti in un repository locale, basta usare questi comandi: git remote add [nome] [URL pubblico per il comando clone]…

Basta installare (male) grub2 e ritrovarsi con un sistema che non fa più il boot. Ad ogni modo, la soluzione è abbastanza semplice. Si fa il reboot con una live, si monta la partizione di…

Come posso rimuovere un branch o un tag anche da server con Git ? Usando semplicemente il comando git branch -d -r origin/qualche_branch lo si cancella fino al successivo pull Per rimuoverlo definitivamente si…

Come anticipato, la mia patch a Bugs Everywhere è stata accettata a tempo di record, anche se con una piccola modifica per rendere la sintassi omogenea con il resto. La patch di suo è una…

Su istigazione di questa persona, mi sono messo a giocare con i BTS distribuiti. I BTS distribuiti  non hanno un database centrale, copiando quindi la logica dei vari programmi di gestione delle versioni (VCS, da…

Piccolo corso su come creare un nuovo repository git su server remoto. Prima di tutto si crea la directory che contiene il progetto in locale e si inizializza mkdir testproject cd testproject git init git…

Per annullare una commit con git si può usare questa serie di comandi: git-rev-parse --branch master che restituisce la lista di commit per il branch master (o il branch indicato) in questa forma: $ git-rev-parse --branch…