GitHub Action to release docs

[wallymathieu]

Description

It's a bit of a pain to release the docs. It would be nice to have GitHub Action that could release the docs.

See

• https://stackoverflow.com/questions/57921401/push-to-origin-from-github-action/58393457#58393457
• https://github.blog/changelog/2020-07-06-github-actions-manual-triggers-with-workflow_dispatch/

Expected behavior

Either a manually triggered workflow or master-branch triggered workflow that can simplify the work.

Known workarounds

On a machine where it works run dotnet msbuild -target:ReleaseDocs build.proj