Updates for checking that checkout succeeded

Also a bit of restructuring and commenting.

Change-Id: Id618e7fbfb246c316ad297307ee7829dba68aa00
Use gerrit as git server

Change-Id: Ia2cddc45d89bf65296421b17517f47cb4c1326b1
Merge branch '4.5.0' into 4.6.0

Conflicts:
	GerritBuild.py

Change-Id: Ic870da8607fe784ac74daa4e438ae8e24f9de266
Merge branch '4.6.0' into 5.0.0

Conflicts:
	GerritBuild.py

Change-Id: I2f43ddb551e0e537ee24003677b8b6e2b7cd1e8c