From f08c3dbfd38ed4a1195cf36a813eb84c4ccbf4f0 Mon Sep 17 00:00:00 2001
From: stuebinm <stuebinm@disroot.org>
Date: Mon, 4 Apr 2022 00:11:39 +0200
Subject: [PATCH] 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]
--
GitLab