A GitHub bot to auto-label PRs with merge conflicts
https://github.com/apps/detect-pull-request-conflict
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A GitHub bot to auto-label PRs with merge conflicts
https://github.com/apps/detect-pull-request-conflict