repo manifest for Servo