Contexte
Lorsqu'un déploiement automatique échoue (webhook raté, erreur git, serveur redémarré entre deux pushs), il n'existe actuellement aucun moyen de relancer le git pull sans effectuer un nouveau push sur le dépôt GitHub.
Besoin
Ajouter, sur la page d'accueil, un bouton « Déployer » sur chaque ligne de dépôt configuré. Ce bouton déclenche manuellement le git reset --hard HEAD + git pull sur le dépôt cible, indépendamment d'un événement GitHub.
Comportement attendu
- Un clic sur « Déployer » appelle un nouvel endpoint
POST /deploy/{owner}/{repo}
- L'endpoint exécute
update_webhook() sur le dépôt concerné
- La réponse (succès ou erreur) est affichée à l'utilisateur, sans quitter la page (toast ou zone de résultat inline)
- Si le chemin du dépôt est introuvable sur le serveur, un message d'erreur clair est retourné
Endpoint à créer
POST /deploy/{owner}/{repo}
→ 200 { "result": true, "message": "...stdout git..." }
→ 200 { "result": false, "message": "...stderr ou raison..." }
Critères d'acceptation
Contexte
Lorsqu'un déploiement automatique échoue (webhook raté, erreur git, serveur redémarré entre deux pushs), il n'existe actuellement aucun moyen de relancer le
git pullsans effectuer un nouveau push sur le dépôt GitHub.Besoin
Ajouter, sur la page d'accueil, un bouton « Déployer » sur chaque ligne de dépôt configuré. Ce bouton déclenche manuellement le
git reset --hard HEAD+git pullsur le dépôt cible, indépendamment d'un événement GitHub.Comportement attendu
POST /deploy/{owner}/{repo}update_webhook()sur le dépôt concernéEndpoint à créer
Critères d'acceptation
POST /deploy/{owner}/{repo}opérationnel