From 520b5d73641f384e1ba59e4cb6b5ab84b54baf5a Mon Sep 17 00:00:00 2001
From: Dirk Koopman <djk@tobit.co.uk>
Date: Thu, 9 Jul 2020 22:29:22 +0100
Subject: [PATCH] add --all to the git pill in UPGRADE.mojo

---
 UPGRADE.mojo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/UPGRADE.mojo b/UPGRADE.mojo
index 156a5c28..74fbd6b5 100644
--- a/UPGRADE.mojo
+++ b/UPGRADE.mojo
@@ -184,7 +184,7 @@ having stopped the node:
 
    mkdir /spider/local_data
    git reset --hard
-   git pull
+   git pull --all
    git checkout --track -b mojo origin/mojo
 
 if you have not already done this:
-- 
2.34.1