Use Mergify bot to merge PR
Open
feature request
- Dominant language
- Python
- Stars
- 14.3k
- Forks
- 3.1k
- PR merge metrics
- No merged PRs in 30d
Description
## 🚀 Feature
https://docs.mergify.com/
DGL always has many PR to be merged, but might not be able to do so since the PR is not up to date. Therefore some PR might be forgotten later. For example https://github.com/dmlc/dgl/pull/3524 was introduced Nov 2021, but just merged recently.
We can use mergify bot (free for public repo) to merge those when they're ready.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.