From cb24803b0d99ba0ececdb9906ec15af24be1e381 Mon Sep 17 00:00:00 2001
From: Thomas Ferris Nicolaisen <tfnico@gmail.com>
Date: Tue, 25 Mar 2014 22:44:10 +0100
Subject: [PATCH] Suggest shorter form of vcsh pull

---
 vcsh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vcsh b/vcsh
index 1e9f2d5..6e18e16 100755
--- a/vcsh
+++ b/vcsh
@@ -161,7 +161,7 @@ clone() {
 	done
 	[ "$VCSH_CONFLICT" = '1' ]) &&
 		fatal "will stop after fetching and not try to merge!
-  Once this situation has been resolved, run 'vcsh run $VCSH_REPO_NAME git pull' to finish cloning." 17
+  Once this situation has been resolved, run 'vcsh $VCSH_REPO_NAME pull' to finish cloning." 17
 	git merge origin/master
 	hook post-merge
 	hook post-clone
-- 
GitLab