tree 20f0bf07efd37c11f0c1fc34ef3c7e179c309a83
parent deda2f9fe69aa8f153242e976f11c04e79ad3200
author Luca Milanesio <luca.milanesio@gmail.com> 1582323575 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1582336487 +0000

Dry out Gerrit CI URL in setup.sh script

Change-Id: Id12875613cc0f9575cdee1c781d410cc0b60a2ae