Re: [dev-servo] github.com/mozilla-servo renamed to servo

2014-07-22 Thread Simon Sapin
On 22/07/14 12:47, johanna curiel curiel wrote: Are we going to move mozilla/servo to servo/servo? Does that mean in anyway that Servo as a project is becoming independant from Mozilla? No. Servo is a Mozilla Research project, that doesn’t change. This is only to make it easier for us to mana

Re: [dev-servo] github.com/mozilla-servo renamed to servo

2014-07-22 Thread johanna curiel curiel
> Are we going to move mozilla/servo to servo/servo? Does that mean in anyway that Servo as a project is becoming independant from Mozilla? regards Johanna On Mon, Jul 21, 2014 at 1:51 PM, Jack Moffitt wrote: > > Are we going to move mozilla/servo to servo/servo? > > That was the idea unless

Re: [dev-servo] github.com/mozilla-servo renamed to servo

2014-07-21 Thread Jack Moffitt
> 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

2014-07-21 Thread Cameron Zwarich
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

2014-07-21 Thread Simon Sapin
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