tree c98ba5d4751218cb66ba1e917f641103dbdccb5c
parent 599d558ac18f800a893b49093dcb248bcf13221b
author Luca Milanesio <luca.milanesio@gmail.com> 1591317329 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1591320206 +0100

Pipeline: use basic authentication when talking to Gerrit

The credential id used in the Jenkins pipeline is propagated
downstream to the pipeline script: reuse the same credentials
for any subsequent interaction with Gerrit via REST-API for
retrieving further change details.

Change-Id: Ia999297b4ece802a089971c3c9880c9d35bb8ec6