Labels

• autosubmit

  Merge PR when tree becomes green via auto submit App
• bug
• dependencies

  Pull requests that update a dependency file
• duplicate
• enhancement
• help wanted
• invalid
• question
• revert

  Label used to revert changes in a closed and merged pull request.
• revert of

  Bot Only: Tracking label for bot. Tracks new revert of pull requests.
• size
• Windows
• wontfix
• work in progress