diff --git a/update_repo.sh b/update_repo.sh deleted file mode 100644 index f4b9a86..0000000 --- a/update_repo.sh +++ /dev/null @@ -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