The link puppet uses to download the autotest.git should have been a secure link. But in the puppet code, http is used to run the repo init. For some unknown reasons, it worked well before. However, git recently complains about the SSL issue and crash the repo sync process.

Considering that closing the lab and recreating the autotest repo on all lab servers is a painful process, we decide to overwrite the git manifest config file to replace the http link with https link. Here is the doc that contains the code to use server management lib to fulfill this job.
https://docs.google.com/a/google.com/document/d/1vJ9rqF4v1ZBFSe28lxrDLBlmYUAcs3TeHPgNaEN3pBY/edit?usp=sharing