workflow: Mergify will first label those PRs with the label "automerge," which are approved by at least one approver and will comment. it can remove the above label if some review is requested, and then it will auto-merge a PR after three working days.
This PR
Related Issues
Fixes #74
Notes
Follow-up Tasks
How to test