Skip to content
This repository was archived by the owner on May 14, 2025. It is now read-only.

Update PR Auditor workflow to use the new token secret#58

Open
sourcegraph-release-bot wants to merge 1 commit intomainfrom
batches/pr-auditor-token
Open

Update PR Auditor workflow to use the new token secret#58
sourcegraph-release-bot wants to merge 1 commit intomainfrom
batches/pr-auditor-token

Commits

Commits on Dec 12, 2023