Labels

• auto_merged

  Merged automatically by Mergify
• bug

  Something isn't working
• changes requested
• dependencies

  Pull requests that update a dependency file
• Do not merge
• duplicate

  This issue or pull request already exists
• help wanted

  Extra attention is needed
• hotfix: do not merge here

  check version updated, marge manually
• is blocked

  The PR can not be merged because of reasons specified in the PR
• javascript

  Pull requests that update javascript code
• merge_conflicts
• postponed
• ready to merge

  If this option is set, the mergifybot will continuously attempt to merge this branch.
• request_changes
• Status?

  How is the status of this PR.
• waiting for review
• WIP

  This feature branch is in progress, do not merge it.