From e70bef2c616caf52ccc6ee2185f6ac3e9d506457 Mon Sep 17 00:00:00 2001
From: augustin_s <sven.augustin@psi.ch>
Date: Sun, 28 Jun 2026 20:01:04 +0200
Subject: [PATCH] configure PSI pypi mirror

---
 autodeploy/setup.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/autodeploy/setup.sh b/autodeploy/setup.sh
index 57f1d2b..388e478 100755
--- a/autodeploy/setup.sh
+++ b/autodeploy/setup.sh
@@ -30,6 +30,9 @@ else
     "$GITHUB_WORKSPACE/pixi" init
 fi
 
+echo pixi config pypi mirror
+"$GITHUB_WORKSPACE/pixi" config pypi-config.index-url https://pypi.psi.ch/simple
+
 echo "pixi install"
 "$GITHUB_WORKSPACE/pixi" install --all --no-progress