#!/bin/bash
# À placer sur le serveur : ~/deploy/deploy_dev.sh
# Le dépôt applicatif est typiquement ~/public_html (ou le docroot Git).
#
# Philosophie MS1 : serveur = déploiement uniquement (pas de commits).
# Nécessite un remote Gitea (souvent http://127.0.0.1:3000/stephan/ms1readerv4.git).

set -euo pipefail

REPO_DIR="${HOME}/public_html"
BRANCH="dev"

cd "$REPO_DIR"
git fetch origin "$BRANCH"
git reset --hard "FETCH_HEAD"
git clean -fd

echo "Deploy OK: $(git rev-parse --short HEAD) on ${BRANCH}"