Do you know to mention someone with a @mention when you make a pull request or comment on GitHub?

<introEmbed
  body={<>
When you make a pull request or need to communicate the next actions someone needs to take in a GitHub comment, you should use a @mention.

Read more about @mention: <https://help.github.com/articles/basic-writing-and-formatting-syntax/#mentioning-users-and-teams>
  </>}
/>
<imageEmbed
  alt="Image"
  size="large"
  showBorder={false}
  figureEmbed={{
    preset: "badExample",
    figure: 'Bad example - Not using a @mention when addressing Duncan or Igor',
    shouldDisplay: true
  }}
  src="/uploads/rules/mention-when-you-make-a-pull-request-or-comment-on-github/github-mention-bad.png"
/>

<imageEmbed
  alt="Image"
  size="large"
  showBorder={false}
  figureEmbed={{
    preset: "goodExample",
    figure: 'Good example - Using a @mention',
    shouldDisplay: true
  }}
  src="/uploads/rules/mention-when-you-make-a-pull-request-or-comment-on-github/github-mention-good.png"
/>