Merge branch 'general-devel' into general-devel

This commit is contained in:
Lucas Nicodemus 2021-05-23 13:16:01 -07:00 committed by GitHub
commit aee0661192
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -18,5 +18,5 @@ jobs:
noChangelogLabel: Blocked
checkNotification: Simple
env:
GITHUB_TOKEN: ${{ secrets.CARDINAL_PAT_CI_STATUS }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}