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 Critic.
To update your git remotes and avoid the redirect, run on of:
git remote set-url upstream https://github.com/servo/servo.git
git remote set-url upstream g...@github.com:servo/servo.git
for read-only or read/write access, respectively.
--
Simon Sapin
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo
