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. Felix>Do you think that is a problem? No. Vladimir
