mirror of
https://github.com/github/codeql.git
synced 2026-03-30 12:18:18 +02:00
30 lines
1.1 KiB
YAML
30 lines
1.1 KiB
YAML
# When a PR is labelled with 'ready-for-docs-review',
|
|
# this workflow comments on the PR to notify the GitHub CodeQL docs team.
|
|
name: Request docs review
|
|
on:
|
|
# Runs in the context of the base repo.
|
|
# This gives the workflow write access to comment on PRs.
|
|
# The workflow should not check out or build the given ref,
|
|
# or use untrusted data from the event payload in a command line.
|
|
pull_request_target:
|
|
types: [labeled]
|
|
|
|
jobs:
|
|
request-docs-review:
|
|
name: Request docs review
|
|
# Run only on labelled PRs to the main repository.
|
|
# Do not run on PRs to forks.
|
|
if:
|
|
github.event.label.name == 'ready-for-docs-review'
|
|
&& github.event.pull_request.draft == false
|
|
&& github.event.pull_request.base.repo.full_name == 'github/codeql'
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Comment to request docs review
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
PR_NUMBER: ${{ github.event.pull_request.number }}
|
|
run: |
|
|
gh pr comment "$PR_NUMBER" --repo "github/codeql" \
|
|
--body "Hello @github/docs-content-codeql - this PR is ready for docs review."
|