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.yml3
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 }}