tree f94f7c019fc2e280cbc68360e7088809672e6f27
parent b889294af7aa1ccf613da28fb08f547306e0f581
author Sean Dague <sean@dague.net> 1449060451 -0500
committer Sean Dague <sean@dague.net> 1449146655 -0500

create apt_get_update to try to work around broken mirrors

Ubuntu's apt mirroring mechanism produces inconsistent mirrors pretty
regularly. The devstack-gate apt-get update model seems to have been
more effective getting past this than what we did in devstack. Adopt
that method for our updates.

Change-Id: I97c7896ef38b275aacb4f933fc849acee1bab858