sync: ensure that we aren't synchronizing in parallel

dscho · dscho · commit ef9bb7253287 · 2022-01-21T18:59:30.000+01:00
It would make no sense...

Signed-off-by: Johannes Schindelin &lt;johannes.schindelin@gmx.de&gt;
diff --git a/.github/workflows/sync.yml b/.github/workflows/sync.yml
@@ -8,6 +8,8 @@ on:
 env:
   LORE_EPOCH: 1
 
+concurrency: sync
+
 jobs:
   repo-sync:
     runs-on: ubuntu-latest
