From 8fd6a67cbc751748a3586bbb25d2c1234aff2e0b Mon Sep 17 00:00:00 2001

From: =?UTF-8?q?Jaakko=20Kera=CC=88nen?= jaakko.keranen@iki.fi

Date: Sun, 14 May 2023 23:10:11 +0300

Subject: [PATCH 1/1] Worker: Configure bare Git repository for subsequent

fetching

Must be done or the refs are not updated when fetching.

worker.py | 3 ++-

1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/worker.py b/worker.py

index 3a943bb..444bcb0 100644

--- a/worker.py

+++ b/worker.py

@@ -179,9 +179,10 @@ class RepoFetcher (threading.Thread):

     if not os.path.exists(pjoin(cache_path, 'config')):

         git.run(['clone', '--bare', repo.clone_url, cache_path], without_path=True)

•        git.run(['config', 'remote.origin.fetch', 'refs/heads/*:refs/heads/*']) # enable fetch
  

         num_commits = None

     else:

•        git.run(['fetch'])
  

•        git.run(['fetch', '--prune'])
  

         num_commits = 100  # Since the last `INTERVAL` mins, so probably enough.

     # Update the fetch timestamp.

--

2.25.1