Merge pull request 'dev' (#11) from dev into server

Reviewed-on: http://192.168.0.105:3000/ArenosWebDev/arenos_www/pulls/11
2025-08-30 14:57:09 +02:00 · 2025-08-30 14:57:09 +02:00 · 98dc49e0f2
commit 98dc49e0f2
parent 91b321ab34 37f9624ac8
1 changed files with 9 additions and 0 deletions
--- a/update_repo.sh
+++ b/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 pull --rebase