Alexandre de Verteuil 3ba2388af7 CI: Change target branch in CI task trigger-docs-update (#18255) ...

This changes trigger-docs-update job so that the docs build goes to production.

There is no additional risk to push a broken site in production. The docs build process is to publish to staging, then wait for a manual approval before publishing to prod.

2019-07-25 15:40:27 +02:00

..

config.yml

CI: Change target branch in CI task trigger-docs-update (#18255)

2019-07-25 15:40:27 +02:00