CI: Add https credentials to gerrit checkouts