Should old PRs that look abandoned be closed?

Nixpkgs has the problem that a lot of contributions arrive but some of them don’t get the attention and pile up.

A lot of older contributions get lost in the pile, some of them get abandoned, so when to close them?

Right now we have contributions from 2017 that got no response [1]. Should these be closed as abandoned?

[1] Pull requests · NixOS/nixpkgs · GitHub

2 Likes

Yes but we should triage each of them one by one and determine if the PR is really stale or just missing review and if the author did not respond/work on it for a good amount of time (9 months? 12 months?).

1 Like