Archiver les pull requests

L’archivage d’une pull request retire celle-ci de la vue publique sans la supprimer définitivement.

Qui peut utiliser cette fonctionnalité ?

People with triage access or higher to a repository

Dans cet article

À propos de l’archivage des pull requests

L’archivage d’une pull request la supprime de la vue publique tout en préservant son historique pour les personnes disposant d’un accès de triage ou supérieur au dépôt. Cela offre une solution de modération plus sûre lorsqu’il est nécessaire de retirer une pull request de la vue du public sans la supprimer définitivement.

Toute personne disposant du rôle de triage, d’écriture, de maintenance ou d’administrateur dans un référentiel peut archiver, annuler l’archivage et afficher les pull requests archivées.

Lorsqu’une pull request est archivée :

  • La pull request est visible uniquement pour les personnes disposant d’un accès de triage ou supérieur au dépôt. Les visiteurs sans cet accès reçoivent une erreur 404.
  • La pull request est automatiquement fermée et sa conversation devient en lecture seule. De nouveaux commentaires, réactions et commentaires automatisés sont bloqués, y compris les commentaires des administrateurs du référentiel.

Lorsque vous annulez l’archivage d’une pull request, elle devient visible à nouveau et les gens peuvent commenter et réagir à nouveau, mais elle reste fermée. Vous pouvez le rouvrir séparément si nécessaire.

Archiver une pull request

  1. Sur GitHub, accédez à la page principale du référentiel.
  2. Sous le nom de votre référentiel, cliquez sur Demandes d’extraction.
  3. Cliquez sur la pull request que vous souhaitez archiver.
  4. Faites défiler vers le bas de la barre latérale droite. Cliquez ensuite sur Archiver la pull request.
  5. Lisez les informations relatives à l’archivage de la pull request, puis confirmez que vous souhaitez l’archiver.

Désarchivage d’une pull request

Vous pouvez trouver des pull requests archivées à l’aide du qualificateur is:archived. Consultez « Recherche de problèmes et de demandes de tirage ».

  1. Ouvrez la pull request que vous souhaitez désarchiver.
  2. Dans la barre latérale droite, cliquez sur Désarchiver la pull request.
  3. Lisez les informations relatives au désarchivage de la pull request, puis confirmez que vous souhaitez la désarchiver.