fix: actually pull updates

Signed-off-by: Lars Wirzenius <liw@liw.fi>

1 files changed, 6 insertions, 0 deletions

diff --git a/wumpus-hunter b/wumpus-hunter
index b03ad1c..e6600cb 100755
--- a/wumpus-hunter
+++ b/wumpus-hunter
@@ -75,6 +75,7 @@ def get_code(url, ref, dirname):
     if not os.path.exists(dirname):
         git_clone(url, dirname)
         git_checkout(dirname, ref)
+        git_puill(dirname)
     else:
         git_clean(dirname)
         git_checkout(dirname, ref)
@@ -90,6 +91,11 @@ def git_clone(url, dirname):
     git("clone", url, dirname)
 
 
+def git_pull(dirname):
+    logging.info(f"pull in {dirname}")
+    git("pull", dirname)
+
+
 def git_checkout(dirname, ref):
     logging.info(f"checkout {ref} in {dirname}")
     git("checkout", ref, cwd=dirname)