>Same for PRs, we have some really old ones. What is a good cutoff? 6 months?
I would start with «6 months without any updates except non-submitter pings and the submitter now has commit rights» _______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
