$ git branch -D dev
*** Repository maitenance
- from the [[http://book.git-scm.com/4_maintaining_git.html][Git Community Boogk]].
+ from the [[http://book.git-scm.com/4_maintaining_git.html][Git Community Book]].
Recompress (to keep the compression most effective)
Both should be run manually from time to time.
*** Working over a network
- from the [[http://book.git-scm.com/3_distributed_workflows.html][Git Community Boogk]].
+ from the [[http://book.git-scm.com/3_distributed_workflows.html][Git Community Book]].
**** Grab a remote repository
A remote friend wants to work on your code, or more likely, you're
at home and you want to work on your code at work. Grab the repo