Gitea : créer et fusionner une pull request

Une pull request propose la fusion d’une branche dans une autre après revue de code.

Prérequis

• Un dépôt cloné sur git.exemple.fr.
• Droit d’écriture ou un fork du dépôt.

1. Créer une branche

git checkout -b correction-affichage

Effectuer les modifications, puis :

git add .
git commit -m "Corrige l'affichage de l'en-tête"
git push -u origin correction-affichage

2. Ouvrir la pull request

Sur git.exemple.fr, après le push, Gitea affiche Comparer & ouvrir une pull request. Sinon : onglet Pull Requests → Nouvelle pull request.

• Base : branche cible (main).
• Compare : correction-affichage. Renseigner titre et description, cliquer Créer la pull request.

3. Demander une revue

Panneau latéral Relecteurs → assigner un relecteur. Les liens Labels et Jalon classent la demande.

4. Répondre aux commentaires

Pousser de nouveaux commits sur la même branche ; ils s’ajoutent automatiquement à la pull request.

5. Fusionner

Une fois approuvée et les vérifications au vert, cliquer Fusionner la pull request. Choisir la méthode :

• Créer un commit de fusion.
• Rebaser et fusionner.
• Squasher. Cocher Supprimer la branche si elle n’est plus utile.

Vérification

La branche cible contient le commit. La pull request affiche Fusionnée. En local :

git checkout main && git pull

Dépannage

• « This branch has conflicts » : rebaser localement (git rebase main), résoudre, repousser.
• Bouton de fusion grisé : protection de branche exige une revue ou un statut absent.
• Push refusé : droit insuffisant ; travailler sur un fork puis ouvrir la PR depuis celui-ci.
• Revue obligatoire non satisfaite : obtenir le nombre d’approbations requis par la règle de protection.