Tobias Henkel aa41123350 Update cached repo during job startup only if needed ... Currently we update each cached repo that is involved in a job during the start phase of the job. After updating we clone each of these repos into the work dir. However when running a job we already got a repo state containing all references we need. So we can check if the cached repo already has everything we need. If the repo state doesn't contain revisions we don't have yet we can skip updating the repo and thus safe a fetch. This can improve job startup times significally especially for expensive jobs with many required projects. Change-Id: I9364e438d581b068fa19c9dfc24adab60479c385		2019-06-10 19:45:43 +02:00
..
__init__.py	Split the merger into a separate process	2014-02-17 11:47:15 -08:00
client.py	Annotate merger logs with event id	2019-05-17 06:11:04 +02:00
merger.py	Update cached repo during job startup only if needed	2019-06-10 19:45:43 +02:00
server.py	Annotate merger logs with event id	2019-05-17 06:11:04 +02:00