grist-data-gateway/update_repo.sh
2025-09-06 09:23:30 +02:00

10 lines
162 B
Bash

#!/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