From f5d311ae14e66144292fa398062b00e22993e5dd Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Wed, 15 Sep 2021 13:48:26 +0200
Subject: [PATCH] chore(gitlab-ci): ...

---
 .gitlab-ci/upload-to-cache.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.gitlab-ci/upload-to-cache.sh b/.gitlab-ci/upload-to-cache.sh
index 68c7f1548..ca79c1f02 100755
--- a/.gitlab-ci/upload-to-cache.sh
+++ b/.gitlab-ci/upload-to-cache.sh
@@ -1,5 +1,4 @@
-#!/usr/bin/env nix-shell
-#!nix-shell -i bash -p bash -p coreutils
+#!/usr/bin/bash
 
 set -eu
 set -f # disable globbing