tree 1ee84353e4277387469ddde91237d96489d939f7
parent e3b8484730dace16b71d69c3164c39721e983318
author Luca Milanesio <luca.milanesio@gmail.com> 1791027381 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1791028569 -0700

Workaround for allowing BuildBuddy fetch of the Docker build image

After the upgrade of the on-prem BuildBuddy runner to
enterprise-v2.312.0, the fetch of the container specified in Gerrit's
tools/remote/BUILD under the platform's exec_properties container-image.

See the official BuildBuddy documentation on how to use credentials for
fetching Docker images from GCR at [1].

[1] https://www.buildbuddy.io/docs/rbe-platforms/

Change-Id: I75db4ca8526cdcb6a85b8aacb9e350705a3ab9f4