Use gerrit as git server

Change-Id: Ia2cddc45d89bf65296421b17517f47cb4c1326b1