Alltes update_repo gelöscht.

update_repo.sh

@@ -1,9 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-
-# ins Verzeichnis wechseln, wo das Script selbst liegt
-cd "$(dirname "$0")"
-
-# git aktualisieren
-git fetch origin
-git pull