Ajout d’un script de déploiement après merge

Après un merge on push les changements sur le serveur de production.

Sur le serveur il y a un hook qui met à jour le répertoire puis qui va redémarrer les services insitu pour prendre en compte les changements.