diff --git a/.github/workflows/docs-review.yml b/.github/workflows/docs-review.yml deleted file mode 100644 index bf813f46ead..00000000000 --- a/.github/workflows/docs-review.yml +++ /dev/null @@ -1,29 +0,0 @@ -# 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."