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
