A GitLab update will be applied on May 9th, between 8am and 10am, EDT (UTC-04:00). This site may have intermittent delays during that time.
This was accidentally broken by commit 31adc110 (FindProtobuf: Add PLUGIN_OPTIONS and PROTOC_OPTIONS to protobuf_generate, 2023-06-29, v3.28.0-rc1~409^2~2). Fixes: #25368