The reason for creating a new repository instead of replacing the old one was that all commit hashes are changing [1]. We suspected it might cause confusion for existing clones of github.com/v8/v8 if we replaced the contents of that repo. If someone could say with certainty that this would not be a problem, then sure, we could re-use the old repo name.
[1] This is due to how git-svn works. Every git-svn checkout of an SVN repository, including the existing github.com/v8/v8 mirror, has its own unique hashes. After the move to git as the source of truth, chromium.googlesource.com/v8/v8.git will be the authoritative source of all commit hashes, and all clones/checkouts will share them, including the new github mirror.) On Thu, Oct 23, 2014 at 2:16 PM, Mathias Bynens <[email protected]> wrote: > On Thu, Oct 23, 2014 at 1:23 PM, Ben Noordhuis <[email protected]> wrote: > > On Thu, Oct 23, 2014 at 12:56 PM, C. Ken <[email protected]> wrote: > >> what is actually mean of "WILL BE DEPRECATED SOON" say on v8 github repo > >> https://github.com/v8/v8 > > > > Scroll down, it's on the page. :-) V8 is moving to git, that's why > > the svn->git mirror is going away. Use [0] or [1] instead. > > > > [0] https://chromium.googlesource.com/v8/v8.git > > [1] https://github.com/v8/v8-git-mirror > > GitHub supports renaming repositories, so once v8/v8 is deleted, > v8/v8-git-mirror could be renamed to v8/v8. GitHub would then > automatically set up redirects from v8/v8-git-mirror to v8/v8. > > -- > -- > v8-users mailing list > [email protected] > http://groups.google.com/group/v8-users > --- > You received this message because you are subscribed to the Google Groups > "v8-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- -- v8-users mailing list [email protected] http://groups.google.com/group/v8-users --- You received this message because you are subscribed to the Google Groups "v8-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
