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

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 J

[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/p