Git Operations
$ git branch -D branchname (Delete a local branch) $ git push origin --delete branchname (Delete a remote branch)
$ git gc $ git repack -Ad (kills in-pack garbage) $ git prune (kills loose garbage)
$ git rm --cached <file>