user-manual: remote-tracking can be checked out, with detached HEAD

Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>

diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt
index 85b3175ff6858843b8b875fb5e7822b68ccd5f07..f13a84613198936ab238e356ec30091db4844544 100644 (file)
--- a/Documentation/user-manual.txt
+++ b/Documentation/user-manual.txt
@@ -367,13 +367,16 @@ above were created based on the remote branches at clone time and will
 be updated by "git fetch" (hence "git pull") and "git push". See
 <<Updating-a-repository-With-git-fetch>> for details.
 
 be updated by "git fetch" (hence "git pull") and "git push". See
 <<Updating-a-repository-With-git-fetch>> for details.
 

-You cannot check out these remote-tracking branches, but you can
-examine them on a branch of your own, just as you would a tag:
+You might want to build on one of these remote-tracking branches
+on a branch of your own, just as you would for a tag:

 
 ------------------------------------------------
 $ git checkout -b my-todo-copy origin/todo
 ------------------------------------------------
 
 
 ------------------------------------------------
 $ git checkout -b my-todo-copy origin/todo
 ------------------------------------------------
 

+You can also check out "origin/todo" directly to examine it or
+write a one-off patch.  See <<detached-head,detached head>>.
+

 Note that the name "origin" is just the name that git uses by default
 to refer to the repository that you cloned from.
 
 Note that the name "origin" is just the name that git uses by default
 to refer to the repository that you cloned from.