marcov4lente
11/23/2015 - 2:49 PM

Git Operations

Git Operations

Branching

$ git branch -D branchname (Delete a local branch)
$ git push origin --delete branchname (Delete a remote branch)

House keeping

$ git gc
$ git repack -Ad (kills in-pack garbage)
$ git prune (kills loose garbage)

Stop tracking file

$ git rm --cached <file>