No labels!
There aren’t any labels for this repository quite yet.
A PR that makes a breaking change.
Category: PRs that clean code up or issues documenting cleanup.
Category: A PR with an enhancement
Category: A feature request, i.e: not implemented / a PR.
Category: musings about a better world
Category: Performance related issues and PRs
Call for participation: Experience needed to fix: Easy / not much
Call for participation: Experience needed to fix: Hard / a lot
Call for participation: Help is requested to fix this issue.
Call for participation: Experience needed to fix: Medium / intermediate
Call for participation: This issue needs a Minimal Complete and Verifiable Example
Issues in need of decision.
A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness
Issues about issues themselves ("bugs about bugs")
Status: marked as blocked ❌ on something else such as a PR or other implementation work.
Status: a duplicate of another issue.
Status: awaiting some action (such as code changes) from the PR or issue author.
You can’t perform that action at this time.