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