[dev] ip address of gerrit.iotivity.org

[Chanho Park]

Dear all,

Does anyone know ip address of the gerrit server?
When I ping the host name, I've got below result.

$ ping gerrit.iotivity.org
PING dev.iotivity.org (198.145.29.84)

198.145.29.84 is correct?

Best Regards,
Chanho Park