Open tokejepsen opened 5 years ago
Goal
PRs should be merged 24 hour since last comment.
Motivation
This is to encourage a more rapid development, because currently PRs are becoming stale.
Implementation
Automated merging might be too risky so a bot could comment on a PR after 24 hours, with "This is ready to merge."
Goal
PRs should be merged 24 hour since last comment.
Motivation
This is to encourage a more rapid development, because currently PRs are becoming stale.
Implementation
Automated merging might be too risky so a bot could comment on a PR after 24 hours, with "This is ready to merge."