From 242be7c36d7b1b2481d62a2a95b07053311cdf54 Mon Sep 17 00:00:00 2001 From: sourcegraph-release-guild-bot <107104610+sourcegraph-release-guild-bot@users.noreply.github.com> Date: Tue, 12 Dec 2023 12:45:40 -0500 Subject: [PATCH] update pr-auditor token to use secret instead (#4285) Co-authored-by: William Bezuidenhout --- .github/workflows/pr-auditor.yml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/pr-auditor.yml b/.github/workflows/pr-auditor.yml index 14e2d304d008..e7ec2d483be9 100644 --- a/.github/workflows/pr-auditor.yml +++ b/.github/workflows/pr-auditor.yml @@ -1,20 +1,22 @@ +# See https://docs.sourcegraph.com/dev/background-information/ci#pr-auditor name: pr-auditor on: pull_request_target: types: [ closed, edited, opened, synchronize, ready_for_review ] + workflow_dispatch: jobs: check-pr: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: repository: 'sourcegraph/pr-auditor' - uses: actions/setup-go@v4 - with: { go-version: '1.20' } + with: { go-version: '1.21' } - run: './check-pr.sh' env: GITHUB_EVENT_PATH: ${{ env.GITHUB_EVENT_PATH }} - GITHUB_TOKEN: ${{ github.token }} + GITHUB_TOKEN: ${{ secrets.PR_AUDITOR_TOKEN }} GITHUB_RUN_URL: https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}