Introduce core.sharedrepository

diff --git a/git-checkout.sh b/git-checkout.sh
index f241d4ba6ba5a988f801e3307022d188204ff572..36308d22c6a72b9ad53ced60bd3c70a2e17520b6 100755 (executable)
--- a/git-checkout.sh
+++ b/git-checkout.sh
@@ -116,7 +116,7 @@ else
 fi
 
 # 
-# Switch the HEAD pointer to the new branch if it we
+# Switch the HEAD pointer to the new branch if we
 # checked out a branch head, and remove any potential
 # old MERGE_HEAD's (subsequent commits will clearly not
 # be based on them, since we re-set the index)