Labels

• approved

  for PRs that are approved and ready to be merged
• bug

  Something isn't working
• changes requested

  for reviewed PRs that need changes
• discussion-issue

  issues with longer-term discussions not ready for discussion by the entire committee
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• in progress

  Issues that are currently being worked on
• invalid

  This doesn't seem right
• needs discussion

  describes issues that are ready for discussion at committee meetings
• pickmeup

  For issues that are ready for someone to work on it
• question

  Further information is requested
• ready for review

  describes PRs that are ready for peer review
• resolved
• separate amendment

  Things that need to be discussed on their own and passed in a separate amendment
• wontfix

  This will not be worked on