Labels

• bug

  Bug report.
• development infrastructure

  Issues having to do with development workflow itself, not feature development.
• inbox

  Ideas and issues that require further consideration.
• killed

  Issues that are closed without an associated change.
• major release

  When PR is merged increment major version segment
• minor release

  When PR is merged increment minor version segment
• patch release

  When PR is merged increment patch version segment
• poc

  Proof of concept.
• post-release

  When PR is merged increment post-release version segment
• retire

  Item under consideration to be closed.
• wip

  Work in progress.