Hello all, I wanted to discuss the possibility of doing a cleanup of open and stale pull requests. There seem to be about 10 PRs that are actively being worked, then we have a bunch of PRs of various stages of staleness.
What do you all think about having some sort of process for closing out old PRs that are not actively being worked? Best, -- C