Are we going to move mozilla/servo to servo/servo? Cameron
On Jul 21, 2014, at 9:31 AM, Simon Sapin <[email protected]> wrote: > Hi all, > > The mozilla-servo "organization" on GitHub was just renamed to "servo". > GitHub automatically sets up web and git redirects for the repositories, so > everything should Just Work you don’t need to do anything. > > Still, it’s nice to use the new URLs. Once > https://github.com/mozilla/servo/pull/2886 has landed, you can just run "git > submodule sync" to update submodules in your Servo clone. This same command > is also run by Servo’s configure script. > > If you have separate (not submodules) clones of these repositories, you can > update the URL with, for example in rust-url: > > git remote set-url origin [email protected]:servo/rust-url.git > > Cheers, > -- > Simon Sapin > _______________________________________________ > dev-servo mailing list > [email protected] > https://lists.mozilla.org/listinfo/dev-servo _______________________________________________ dev-servo mailing list [email protected] https://lists.mozilla.org/listinfo/dev-servo
