From 92d37bd305933c1828deb3e05a9e1981e0bfd8eb Mon Sep 17 00:00:00 2001 From: pxgamer Date: Tue, 19 Dec 2017 16:24:27 +0000 Subject: [PATCH] Added pulling from a specific source --- pages/common/hg-pull.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pages/common/hg-pull.md b/pages/common/hg-pull.md index 1cd5b13e8..9761b92ad 100644 --- a/pages/common/hg-pull.md +++ b/pages/common/hg-pull.md @@ -8,6 +8,10 @@ - Update the local repository to the head of the remote: +`hg pull {{path/to/source/repository}}` + +- Update the local repository to the head of the remote: + `hg pull --update` - Pull changes even when the remote repository is unrelated: