+1, it is confusing to have these two repos. We should however clone the repo and keep the pull requests there while we review if there is something worth keeping, even if its just an idea.
On 24 May 2017 8:27 p.m., "Matt Sicker" <[email protected]> wrote: > Go for it! > > On 24 May 2017 at 11:11, Stefan Bodewig <[email protected]> wrote: > > > Hi > > > > it's been more than three weeks since I commented on all PRs at the old > > mirror. I think it is safe to ask infra to remove the mirror of the svn > > tree by now. > > > > Any objections? > > > > Stefan > > > > > > -- > Matt Sicker <[email protected]> >
