Switch to prepare-workspace-git role

This role is a slightly more advanced version of both use-cached-repos
and mirror-workspace-git-repos.  It seems that we just forgot to
switch to it?

Change-Id: I658d0dbab315b290eab56b0581424d2df4a1e1cf
This commit is contained in:
James E. Blair 2019-09-06 07:06:44 -07:00
parent 307cf91459
commit 59f84f00db

View File

@ -30,8 +30,7 @@
- hosts: all - hosts: all
roles: roles:
- validate-host - validate-host
- use-cached-repos - prepare-workspace-git
- mirror-workspace-git-repos
- mirror-info - mirror-info
- role: configure-mirrors - role: configure-mirrors
set_apt_mirrors_trusted: True set_apt_mirrors_trusted: True