ArenosWebDev/arenos_www
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source 
Reviewed-on: http://192.168.0.105:3000/ArenosWebDev/arenos_www/pulls/12
This commit is contained in:
Daniel Nagel 2025-08-30 15:32:35 +02:00
commit 84a3cde41c
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
html/update_repo.sh Normal file
View File

@ -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