From f08c3dbfd38ed4a1195cf36a813eb84c4ccbf4f0 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Mon, 4 Apr 2022 00:11:39 +0200
Subject: server: actually use git repository updates

before this, the server would fetch updates but then not update the
corresponding reference, leading to the initial state being checked out
and linted again.
---
 server/Worker.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/Worker.hs b/server/Worker.hs
index 31ddcdc..a9ffce3 100644
--- a/server/Worker.hs
+++ b/server/Worker.hs
@@ -93,7 +93,7 @@ runJob offline config Job {..} done = do
         True | offline -> logInfoN $ "offline mode: not updating " <> show gitdir
              | otherwise ->
           (liftIO $ callgit gitdir
-            [ "fetch", "origin", toString ref, "--depth", "1" ])
+            [ "fetch", "origin", toString (ref <> ":" <> ref) ])
       rev <- map T.strip -- git returns a newline here
         $ readgit' gitdir ["rev-parse", toString ref]
 
-- 
cgit v1.2.3