[PATCH] user-manual: set user.name and user.email with repo-config

[Matthias Lederhofer <matled@gmx.net>]

---
There are some other places where direct editing of .git/config is
suggested.  I'd rather tell the user to use repo-config and add a note
that repo-config saves the configuration to .git/config (or
~/.gitconfig with --global) which can be edited by hand too.
cat .git/config to show the remote configuration can be replaced by
git-repo-config -l | grep '^remote\.'
---
 Documentation/user-manual.txt |    7 ++-----
 1 files changed, 2 insertions(+), 5 deletions(-)

diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index 87c605f..7a286d4 100644
--- a/Documentation/user-manual.txt
+++ b/Documentation/user-manual.txt
@@ -153,11 +153,8 @@ Making changes
 Make sure git knows who to blame:
 
 ------------------------------------------------
-$ cat >~/.gitconfig <<\EOF
-[user]
-name = Your Name Comes Here
-email = you@yourdomain.example.com
-EOF
+$ git repo-config --global user.name "Your Name Comes Here"
+$ git repo-config --global user.email you@yourdomain.example.com
 ------------------------------------------------
 
 Select file contents to include in the next commit, then make the
-- 
1.5.0.rc2.g18af