# RUNBOOK — Créer une Demande d’ajout (PR) “automatique” depuis un push (Gitea) ## Objectif Pousser une branche depuis le Mac vers Gitea et obtenir le workflow standard : 1) branche dédiée 2) push 3) suggestion “Nouvelle demande d’ajout” (bandeau vert) OU lien terminal 4) création PR via UI 5) merge (main protégé) > Important : Gitea ne crée pas une PR automatiquement. > Il affiche une *suggestion* (bandeau vert) ou imprime un lien “Create a new pull request” lors du push. --- ## Pré-check (obligatoire, 10 secondes) en bash : git status -sb git fetch origin --prune git branch --show-current Procédure standard (zéro surprise) ### 1) Se remettre propre sur main git checkout main git pull --ff-only ### 2) Créer une branche AVANT de modifier / ajouter des fichiers git switch -c docs/- ### 3) Ajouter/modifier tes fichiers dans docs/ Exemple : docs/auth-stack.md docs/runbook-.... ### 4) Vérifier ce qui va partir git status -sb git diff ### 5) Commit git add docs/ git commit -m "docs: " ### 6) Vérifier que ta branche a bien des commits “devant” main (SINON pas de PR possible) git fetch origin git log --oneline origin/main..HEAD Si ça n’affiche rien : tu n’as rien à proposer (branche identique à main). ### 7) Push (méthode la plus robuste) git push -u origin HEAD ### 8) Créer la PR (2 chemins fiables) # Chemin A — le plus simple : utiliser le lien imprimé dans le terminal Après le push, Gitea affiche généralement : “Create a new pull request for '': ” ➡️ Ouvre cette URL, clique “Créer la demande d’ajout”. # Chemin B — via l’UI Gitea (si tu veux le bandeau vert) Va sur le dépôt Onglet “Demandes d’ajout” Clique “Nouvelle demande d’ajout” Source branch = ta branche, Target = main Créer ## Pourquoi le bandeau vert peut ne PAS apparaître (et ce que ça signifie) Ta branche est identique à main # Diagnostic : git fetch origin git diff --name-status origin/main..HEAD Si vide => normal, pas de suggestion. Tu n’es pas sur la bonne branche # Diagnostic : git branch --show-current Tu regardes l’UI au mauvais endroit Solution : utilise le bouton “Nouvelle demande d’ajout” ou le lien du terminal (chemin A). Anti-bêtise (optionnel mais recommandé) Empêcher de commit sur main par erreur (hook local) # Créer .git/hooks/pre-commit : #!/bin/sh b="$(git branch --show-current)" if [ "$b" = "main" ]; then echo "❌ Refus: commit interdit sur main. Crée une branche." exit 1 fi Puis : chmod +x .git/hooks/pre-commit ## Rappel : main protégé Si main est protégé, tu ne merges PAS par git push origin main. Tu merges via la PR (UI), après CI verte.