Merge pull request #851 from rpjday/remotes

Add that deleting a remote also deletes its config settings and remot…

Author: ben

book/02-git-basics/sections/remotes.asc

@@ -192,7 +192,7 @@ $ git remote show origin
 This command shows which branch is automatically pushed to when you run `git push` while on certain branches.
 It also shows you which remote branches on the server you don't yet have, which remote branches you have that have been removed from the server, and multiple local branches that are able to merge automatically with their remote-tracking branch when you run `git pull`.
 
-==== Removing and Renaming Remotes
+==== Renaming and Removing Remotes
 
 You can run `git remote rename` to change a remote's shortname.(((git commands, remote)))
 For instance, if you want to rename `pb` to `paul`, you can do so with `git remote rename`:
@@ -216,3 +216,5 @@ $ git remote remove paul
 $ git remote
 origin
 ----
+
+Once you delete the reference to a remote this way, all remote-tracking branches and configuration settings associated with that remote are also deleted.