Temporary workaround for #40287 (closed).
We should revert this commit when the upstream git repository becomes available again.
Temporary workaround for #40287 (closed).
We should revert this commit when the upstream git repository becomes available again.