Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to '.github/workflows/rustc-pull.yml')
| -rw-r--r-- | .github/workflows/rustc-pull.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/rustc-pull.yml b/.github/workflows/rustc-pull.yml index 2a842f3b31..37cf5f3726 100644 --- a/.github/workflows/rustc-pull.yml +++ b/.github/workflows/rustc-pull.yml @@ -11,10 +11,11 @@ jobs: if: github.repository == 'rust-lang/rust-analyzer' uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main with: + github-app-id: ${{ vars.APP_CLIENT_ID }} zulip-stream-id: 185405 zulip-bot-email: "[email protected]" pr-base-branch: master branch-name: rustc-pull secrets: zulip-api-token: ${{ secrets.ZULIP_API_TOKEN }} - token: ${{ secrets.GITHUB_TOKEN }} + github-app-secret: ${{ secrets.APP_PRIVATE_KEY }} |