[dev-servo] github.com/mozilla-servo renamed to servo
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
Re: [dev-servo] github.com/mozilla-servo renamed to servo
Are we going to move mozilla/servo to servo/servo? Cameron On Jul 21, 2014, at 9:31 AM, Simon Sapin 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
Re: [dev-servo] github.com/mozilla-servo renamed to servo
> Are we going to move mozilla/servo to servo/servo? That was the idea unless someone objects. jack. ___ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
