Re: [PATCH v3 4/9] user-manual: Mention 'git remote add' for remote branch config

"W. Trevor King" [off-list ref] writes:

From: "W. Trevor King" <redacted>

I hardly ever setup remote.<name>.url using 'git config'.  While it
may be instructive to do so, we should also point out 'git remote
add'.

Signed-off-by: W. Trevor King <redacted>
---

This looks like a good 'maint' material that can be applied straight
away there in preparation for 1.8.1.4 to me (modulo one nit);
reviewers watching from the sideline, please stop me if you see
issues.

+After configuring the remote, the following two commands will do the
+same thing:
 
 -------------------------------------------------
+$ git fetch git://example.com/proj.git +refs/heads/*:refs/remotes/example/*
+$ git fetch example +refs/heads/*:refs/remotes/example/*
 $ git fetch example
 -------------------------------------------------

These _three_ commands will do the same.