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

2014-07-22 Thread Bruno Abinader
On 7/22/14, 4:46 AM, Simon Sapin wrote: On 21/07/14 18:51, Jack Moffitt wrote: Are we going to move mozilla/servo to servo/servo? That was the idea unless someone objects. Done: https://github.com/servo/servo Once again, redirects are in place for web and git access, which should Just Work.

[dev-servo] github.com/mozilla/servo moved to github.com/servo/servo

2014-07-22 Thread Simon Sapin
On 21/07/14 18:51, Jack Moffitt wrote: Are we going to move mozilla/servo to servo/servo? That was the idea unless someone objects. Done: https://github.com/servo/servo Once again, redirects are in place for web and git access, which should Just Work. I’ll check with James today about Criti