<listitem><para><emphasis><filename>git branch -D <branch-name></filename>:</emphasis>
Deletes an existing local branch.
You need to be in a local branch other than the one you are deleting
- in order to delete <branch-name>.</para></listitem>
+ in order to delete <filename><branch-name></filename>.</para></listitem>
<listitem><para><emphasis><filename>git pull</filename>:</emphasis> Retrieves information
from an upstream Git
repository and places it in your local Git repository.