Labels

• bot?

  This PR is possibly made from a bot. Firther investigation is needed or has been required
• bug

  Something isn't working
• duplicate

  This issue or pull request already exists
• invalid

  This doesn't seem right
• not-bot

  The user of this PR has been verified and it's not a bot