html/update_repo.sh

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