À propos de l’archivage des pull requests
L’archivage d’une pull request la retire de la vue du public tout en préservant son historique pour les administrateurs du 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.
Lorsqu’une pull request est archivée :
- La pull request n’est visible que par les administrateurs du dépôt. Les visiteurs sans accès administrateur au référentiel reçoivent une erreur 404.
- La pull request est automatiquement fermée et verrouillée.
Lorsque vous désarchivez une pull request, elle redevient visible, mais elle reste fermée et verrouillée. Vous pouvez rouvrir et le déverrouiller séparément si nécessaire.
Archiver une pull request
-
Sur GitHub, accédez à la page principale du référentiel.
-
Sous le nom de votre référentiel, cliquez sur Demandes de tirage.
-
Cliquez sur la pull request que vous souhaitez archiver.
-
Faites défiler vers le bas de la barre latérale droite. Cliquez ensuite sur Archiver la pull request.
-
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 la PR à l’aide du qualificatif is:archived. Consultez Recherche de problèmes et de demandes de tirage.
- Ouvrez la pull request que vous souhaitez désarchiver.
- Dans la barre latérale droite, cliquez sur Désarchiver la pull request.
- Lisez les informations relatives au désarchivage de la pull request, puis confirmez que vous souhaitez la désarchiver.