From 7288faf9da65a89d9fdce08b7f303aa5cb317b65 Mon Sep 17 00:00:00 2001 From: Denis Lehmann Date: Tue, 17 Oct 2023 18:59:03 +0200 Subject: [PATCH] update README --- README.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.org b/README.org index 73a59b3..db2a0ec 100644 --- a/README.org +++ b/README.org @@ -80,7 +80,7 @@ It was inspired by [[https://wiki.ros.org/wstool][wstool]], [[https://github.com : git symbolic-ref refs/remotes/origin/HEAD Note, that the reference gets only set when the repository is initially cloned and doesn't update with =git fetch=. - It can be updated manually like this: + It can be updated like this: : git remote set-head origin -a Or set it manually to any branch with: