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

Reviewed-on: http://192.168.0.105:3000/ArenosWebDev/arenos_www/pulls/12

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 pull