Comment puis-je copier ou inclure d'autres utilisateurs de GitHub à un problème?

Question

Lorsque je crée un nouveau problème GitHub, je peux affecter un utilisateur. Ensuite, cet utilisateur et moi-même deviendrons des participants au problème et recevront des mises à jour.

Je souhaite parfois que d'autres utilisateurs reçoivent également des notifications sur le ticket même s'ils ne sont pas le destinataire actuel. Comment puis-je ajouter d'autres utilisateurs au problème au moment de sa création?

Answer 1

Vous devez simplement inclure leur nom d'utilisateur dans le problème.

Lorsque vous @mentez un nom d'utilisateur GitHub n'importe où dans le contexte d'un problème ou d'une demande d'extraction, cette personne est notifiée et abonnée à de futures mises à jour.

Donc, si vous voulez un utilisateur GitHub par son nom d’utilisateur, tornadosandwich , pour être averti que vous voulez qu’ils voient le problème, il suffit de mettre @ tornadosandwich dans le corps du problème et il les notifiera.

Voudrais savoir ce que @ tornadosandwich en pense.

Cela ne fonctionnera que si l'utilisateur l'a autorisé. S'ils ne répondent jamais ou ne reconnaissent pas être inclus, ils auront peut-être décoché les deux cases dans les paramètres de leur compte dans le Centre de notifications:

Participant
Lorsque vous participez à une discussion ou que quelqu'un vous amène avec un @mention.