diff options
author | Juraj Linkeš <juraj.linkes@pantheon.tech> | 2020-07-01 13:21:07 +0200 |
---|---|---|
committer | Juraj Linkeš <juraj.linkes@pantheon.tech> | 2020-07-01 13:43:25 +0200 |
commit | a0c99f7d37f8460a5f362ef3402d9afdc6284e86 (patch) | |
tree | 4a778752b2a2e60bb804289218229957be2b6c66 /VPP_STABLE_VER_CENTOS | |
parent | d9e9ec7c969cb3d197895c64664e65f26863563d (diff) |
Infra: Update ansible ARM dev server
Remove nomad installation from the ARM dev server and add a generic
vppdev user to it. Add ansible role dev for this.
Change-Id: Icb967ff18cbe939464ddb3d8dbce5101747e739f
Signed-off-by: Juraj Linkeš <juraj.linkes@pantheon.tech>
Diffstat (limited to 'VPP_STABLE_VER_CENTOS')
0 files changed, 0 insertions, 0 deletions