Changement du titre d'une demande de Pull Request via github.com

Introduction¶

Ce guide explique comment modifier ou changer le titre d'une demande de Pull Request (PR) active dans un référentiel GitHub à l'aide de l'interface Web GitHub.

Description du Problème¶

Parfois, il peut être nécessaire de modifier le titre d'une requête PR après sa création pour mieux refléter les changements ou les discussions en cours.

Prérequis¶

Une pull request GitHub en cours de traitement.
Accès à l'interface Web GitHub ou CLI avec les autorisations nécessaires.

Procédure¶

Utilisation de l'interface Web de GitHub¶

Accéder à la requète Pull Request:
Accédez au référentiel où se trouve la requête PR.
Cliquez sur Pull requests et sélectionnez la requête PR que vous souhaitez modifier.
Édition du Titre de PR:
Cliquez sur le titre de la Pull Request.
Une boîte de texte modifiable apparaîtra.
Modifiez le titre, appuyez sur Enter ou cliquez en dehors de la zone de texte pour enregistrer les modifications.

Informations Supplémentaires (facultatif)¶

La modification d'un titre de PR n'affectera pas son fil de discussion ni les modifications de code.
Il est considéré comme une bonne pratique d'informer les collaborateurs si des modifications significatives sont apportées au titre d'un PR.

Conclusion¶

En suivant ces étapes, vous pouvez facilement modifier le titre d’une demande Pull Request active dans un référentiel GitHub via l’interface Web.

Author: Wale Soyinka

Contributors: Ganna Zhyrnova