From 178b89b60ecf9d438af18a9ad65ec98a0049a8c2 Mon Sep 17 00:00:00 2001
From: Moritz Scherer <scheremo@iis.ee.ethz.ch>
Date: Thu, 22 Aug 2024 16:28:32 +0200
Subject: [PATCH] Update CI scripts

---
 .gitlab/gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab/gitlab-ci.yml b/.gitlab/gitlab-ci.yml
index ca057a3..ef79be4 100644
--- a/.gitlab/gitlab-ci.yml
+++ b/.gitlab/gitlab-ci.yml
@@ -15,7 +15,7 @@ stages:
 plug_mirrors:
   stage: nonfree
   script:
-    sed -i "s_git@gitlab.tue.nl:es/convolve-private_git@iis-git.ee.ethz.ch:convolveto_g" Bender.yml
+    sed -i "s_git@gitlab.tue.nl:es/convolve-private_git@iis-git.ee.ethz.ch:convolveto_g" Bender.yml Bender.lock
 
 init:
   stage: nonfree