Skip to content

No labels!

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

auto_merged
auto_merged
Merged automatically by Mergify
auto-extend-activation-time
auto-extend-activation-time
bug
bug
Something isn't working
changes requested
changes requested
dependencies
dependencies
Pull requests that update a dependency file
do-not-merge
do-not-merge
duplicate
duplicate
This issue or pull request already exists
help wanted
help wanted
Extra attention is needed
hotfix: do not merge here
hotfix: do not merge here
check version updated, marge manually
is blocked
is blocked
The PR can not be merged because of reasons specified in the PR
merge_conflicts
merge_conflicts
ready to merge
ready to merge
If this option is set, the mergifybot will continuously attempt to merge this branch.
request_changes
request_changes
Status?
Status?
How is the status of this PR.
waiting for review
waiting for review
WIP
WIP
This feature branch is in progress, do not merge it.