Sounds good Tim. At least we can clean up some of the obvious ones. On Thu, May 31, 2018 at 2:35 PM, Timothy Farkas <[email protected]> wrote:
> Hi All, > > There are a lot of open PRs. I think it would be good to close some of > them in order to identify the remaining PRs that require action to be > taken. Specifically I was thinking of first closing obsolete PRs and then > see how far that takes us. A PR could be considered obsolete if it is: > > > * Changing code or documentation that no longer exists. > * Adding documentation that is no longer correct. > * Has a note already on the PR that it needs to be closed because > another PR was opened. > > > Any thoughts? > > Thanks, > Tim >
