We have been accumulating inactive stale pull requests on our GitHub repo. They are clutter, and they're creating extra work for maintainers, who have to check each one open PR for recent activity.
Henceforth, the maintainers will close mark any pull request that has been inactive for more than two weekshad no activity for two weeks with an inactive label. Any pull request that's been inactive for three months will be closed, if the maintainers cannot reach the owner. No warning will be issued; it's up to you to keep track of your pull requests.Closing the pull request is a benign operation; no data in a pull request is lost when it is closed. You or your team can always re-open the pull request whenever you decide to resume activity on it.
...
...