Aditya Sharad 348f8c16d1 Actions: Add workflow to request docs review ...

When a PR is labelled with 'ready-for-docs-review',
this workflow comments on the PR to notify the GitHub CodeQL docs team.
Runs on `pull_request_target` events so it can write comments to the PR.
Since this runs in the context of the base repo, it must not check out the PR
or use untrusted data from the event payload.

2021-03-02 18:05:02 -08:00

..

codeql

Set up Code Scanning

2020-06-19 14:02:31 +01:00

workflows

Actions: Add workflow to request docs review

2021-03-02 18:05:02 -08:00