Skip to content

No labels!

There aren’t any labels for this repository quite yet.

bug
bug
Something isn't working
changes requested
changes requested
duplicate
duplicate
This issue or pull request already exists
has conflicts
has conflicts
help wanted
help wanted
Extra attention is needed
is blocked
is blocked
The PR can not be merged because of reasons specified in the PR
ready to merge
ready to merge
If this option is set, the mergifybot will continuously attempt to merge this branch.
waiting for review
waiting for review
Someone should review this ASAP