From fe69da1a8b86f7d38bc81f4fc704074dbae22e13 Mon Sep 17 00:00:00 2001
From: Michael Marsh <mmarsh@cs.umd.edu>
Date: Mon, 2 Jul 2018 16:42:27 -0400
Subject: [PATCH] added a little pointer for cloning clean copies

---
 README | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/README b/README
index e2a4933..7f9f655 100644
--- a/README
+++ b/README
@@ -207,7 +207,10 @@ clone [may require Internet access]
   Compare ~/another/testing and ~/another/more_testing. They should be
   identical! Here we've illustrated the ability to specify a destination
   directory for *clone*. If unspecified, the repo name of our source will
-  be the name of the destination.
+  be the name of the destination. This is especially useful when you want
+  to make sure that the repository you just pushed to actually contains
+  what you think, since you can have a second (clean) copy in another
+  directory (see "pull", below).
 
   Here, we've cloned a repo in a local directory. This is of limited usefulness,
   since generally you're going to want to clone repos stored on other machines.
-- 
GitLab