Are we going to move mozilla/servo to servo/servo? Cameron
On Jul 21, 2014, at 9:31 AM, Simon Sapin <simon.sa...@exyr.org> 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 g...@github.com:servo/rust-url.git > > Cheers, > -- > Simon Sapin > _______________________________________________ > dev-servo mailing list > dev-servo@lists.mozilla.org > https://lists.mozilla.org/listinfo/dev-servo _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
