Robby Milo c43aa3485c Docs: Sync docs with website repo via GitHub Action (#20694) ...

* add GitHub action to sync docs with website repo

* remove trigger-docs-update from circleci jobs

* update access token

2019-12-04 14:36:50 +01:00

..

publish.yml

Docs: Sync docs with website repo via GitHub Action (#20694)

2019-12-04 14:36:50 +01:00