repos script is a unification of gitworkspace and hgworkspace.