GitHub étend les droits d’archivage des pull requests aux trieurs de dépôts

GitHub a mis à jour les autorisations de modération des dépôts afin de permettre aux utilisateurs disposant du rôle « triage » ou supérieur d'archiver et de désarchiver des pull requests. Cette modification élargit des contrôles administratifs auparavant réservés exclusivement aux administrateurs de dépôts. Désormais, les rôles de triage, d'écriture, de maintenance et d'administration bénéficient tous de cette prérogative sur les opérations d'archivage.

Réduire les frictions de modération dans le logiciel libre

Les mainteneurs de projets open source s'appuient fréquemment sur des contributeurs chargés du triage pour gérer les propositions entrantes et organiser la file des tickets, sans leur accorder le droit de modifier le code. Dans de nombreux projets, la gestion des tâches de modération courantes — comme le classement du spam, des contributions en double ou des pull requests abandonnées — nécessitait auparavant l'intervention d'administrateurs disposant des autorisations les plus élevées. Déléguer ces tâches de routine aux responsables créait des frictions opérationnelles. Permettre aux utilisateurs du rôle triage d'archiver les pull requests aide les mainteneurs à déléguer le nettoyage de la file d'attente tout en maintenant un accès restreint en écriture à la base de code principale.

Appliquer un état en lecture seule au contenu archivé

Parallèlement à l'extension des autorisations, GitHub a ajusté le comportement des pull requests archivées face à l'activité continue. Auparavant, l'archivage verrouillait la discussion d'une pull request tout en autorisant encore les administrateurs du dépôt à y laisser des commentaires. Avec le système mis à jour, l'archivage ferme automatiquement la demande et impose une restriction stricte en lecture seule pour l'ensemble des utilisateurs, quel que soit leur niveau de compte. Cela évite d'avoir à accorder un accès en écriture aux trieurs pour gérer le verrouillage d'une conversation.

Tant qu'une pull request reste archivée, GitHub bloque toute nouvelle interaction, y compris les commentaires manuels, les réactions sous forme d'émojis et les interventions automatisées de bots. Les pull requests archivées sont également retirées de la vue publique et demeurent visibles exclusivement par les administrateurs du dépôt.

Restaurer les fonctionnalités interactives lors du désarchivage

GitHub a également précisé le comportement associé à la restauration d'une pull request archivée. Lorsqu'un utilisateur disposant des autorisations suffisantes désarchive une demande, les fonctionnalités interactives sont rétablies, permettant de nouveau aux contributeurs de commenter et d'ajouter des réactions. Toutefois, le désarchivage ne rouvre pas automatiquement la pull request : la proposition conserve son statut fermé jusqu'à ce qu'elle soit explicitement rouverte en suivant la procédure habituelle du dépôt.

Illustration éditoriale générée par IA ; ce n’est pas une photographie documentaire.

Source: Triage role users or higher can now archive pull requests