The way Mahout works is that committers can open or close PRs (though a github merge will fail). But I can’t re-poen these PRs. That would be an easy solution, right? Maybe someone just needs to grant us certain github permissions?
On Jun 30, 2016, at 3:01 PM, Donald Szeto <[email protected]> wrote: 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. > >
