Get usernames of every GitHub user leaving a reaction to an issue or pull request

get-github-reaction-usernames.md

Get usernames of every GitHub user leaving a reaction to an issue or pull request

Anyone leaving a 👍, ❤️ etc.

Paste into the Browser console on the GitHub issue page.

Array.from(
  new Set(
    $$('[aria-label="Add or remove reactions"] + [role="tooltip"]')
      .map((el) => el.getAttribute("aria-label"))
      .flatMap((value) => value.split(/, | and /g))
      .sort(),
  ),
).forEach((value) => console.log(`@${value}`));