From ce43a67cbdd1cb1a383863c6e73205d35dc4ff9d Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Fri, 13 Nov 2020 10:07:34 +0100
Subject: [PATCH] re-add removed .ci submodule

---
 .ci | 1 +
 1 file changed, 1 insertion(+)
 create mode 160000 .ci

diff --git a/.ci b/.ci
new file mode 160000
index 000000000..87942a7c2
--- /dev/null
+++ b/.ci
@@ -0,0 +1 @@
+Subproject commit 87942a7c29f22b62c7d6e2bf91bea3b059f1b695