What about moving all of those PRs, and their changes (as patch) to the new PIO JIRA instance?
There is some discussion about allowing GH Issues as a blessed resource for development workflow, but we are not there yet where there is guidance for podlings (or even TLPs). On Thu, Jun 30, 2016 at 4:04 PM, Pat Ferrel <[email protected]> wrote: > 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. > > > > > > -- Best regards, - Andy Problems worthy of attack prove their worth by hitting back. - Piet Hein (via Tom White)
