lenny's default repository