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 >
