update_repo.sh gelöscht

2025-12-02 15:59:34 +01:00 · 2025-12-02 15:59:34 +01:00 · 640f8628bd
commit 640f8628bd
parent 880efe72d1
1 changed files with 0 additions and 9 deletions
--- a/update_repo.sh
+++ b/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