Merge "Disable git tagging during Jenkins git clone"
authorTrevor Bramwell <tbramwell@linuxfoundation.org>
Tue, 15 May 2018 20:18:00 +0000 (20:18 +0000)
committerGerrit Code Review <gerrit@opnfv.org>
Tue, 15 May 2018 20:18:00 +0000 (20:18 +0000)

Trivial merge