#!/bin/bash
set -e

DEPLOY_DIR="/home/polysco/public_html/espace-etudiant.polysco.net/sup"
GIT_DIR="/home/polysco/public_html/espace-etudiant.polysco.net/sup.git"

echo "Deploying to $DEPLOY_DIR"

mkdir -p "$DEPLOY_DIR"

git --work-tree="$DEPLOY_DIR" --git-dir="$GIT_DIR" checkout -f master

echo "Deployment complete!"