But not all PRs are closed, so it left me wondering if there is a set of conditions that were triggered when GitHub integration was turned on.
On Thursday, June 30, 2016, Pat Ferrel <[email protected]> wrote: > Maybe I missed the explanation but why are all the gitub PRs against the > PIO account closed? This is not ideas, especially if some should be merged > with the ASF git, because the PRs have user/branch info that can be used to > hand-merge. > >
