From 8442e2f8982824af8599d640f8ea583bdb023fd0 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Thu, 23 Apr 2020 15:34:17 -0400
Subject: [PATCH] clarify repo sync on unreliable connections

---
 static/build.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/static/build.html b/static/build.html
index 269cd2e1..30520e45 100644
--- a/static/build.html
+++ b/static/build.html
@@ -226,8 +226,8 @@ repo init -u https://github.com/GrapheneOS/platform_manifest.git -b 10
 repo sync -j32</pre>
 
             <p>If your network is unreliable and <code>repo sync</code> fails, you can run the
-            <code>repo sync</code> command again as many times as needed for it to fully
-            succeed.</p>
+            <code>repo sync</code> command again to continue from where it was interrupted. It
+            handles connection failures robustly and you shouldn't start over from scratch.</p>
 
             <h2 id="stable-release">
                 <a href="#stable-release">Stable release</a>