The label S-needs-new-owner was intended for PRs that appear to be
abandoned and are still desirable, so we could link to
https://github.com/servo/servo/pulls?q=is%3Apr+is%3Aclosed+label%3AS-needs-new-owner
for a list of closed PRs with that label applied, I guess.
Cheers,
Josh
On 2015-09-13 9:00 AM, Anthony Ramine wrote:
Hello,
There are currently more than 60 PRs opened, and the oldest one's ID is 3,000
lower than the newest. This is starting to get out of hand. I suggest we should
be Always Be Closing stale pull requests instead of letting them linger. We
could have a wiki page or something of interesting patches that weren't ready
to go for reference, but the PR queue should contain only things that actually
have hope to be merged, in my opinion.
https://www.youtube.com/watch?v=gu7mDA-b8wM
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo