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