Hello Vladimir , What’s the next step? When can we complete migration ?
Thanks On Monday, June 10, 2019, Felix Schumacher < [email protected]> wrote: > > Am 10.06.19 um 14:06 schrieb Vladimir Sitnikov: > > Felix>They will have to be rebased to the new repo and reopened anyway, > or > > do > > Felix>you mean old closed PRs? > > > > I just assume we can never rebase all the forks in the wild :) > > On the other hand, if we need "old git" once again, we can re-create it > > from SVN. > > So there's no need to keep "backup git" and/or insert urls. > > No, we can't rebase those repositories, but hopefully the owners of > those repositories can rebase their work onto origin/head and then do > git format-patch/git am to the new forks. > > > > > Felix>Do you think that is a problem? > > > > No. > > For me it is not a problem either, as any change in the repo would have > led to this. > > Felix > > > > > Vladimir > > > -- Cordialement. Philippe Mouawad.
