about summary refs log tree commit diff
path: root/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
diff options
context:
space:
mode:
authorSamuel Tardieu <sam@rfc1149.net>2025-08-02 11:24:29 +0200
committerGitHub <noreply@github.com>2025-08-02 11:24:29 +0200
commit0fcfb8bee761b616bc36c88d2d48786a2789efba (patch)
tree772c51695c691c4219b42ae89ca666733e0df768 /src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
parent5e1ea9cda4fba3703f3dc15522d7a50236b4f4f9 (diff)
parent171c2478c06da00fb010cc77c333d328410ee796 (diff)
downloadrust-0fcfb8bee761b616bc36c88d2d48786a2789efba.tar.gz
rust-0fcfb8bee761b616bc36c88d2d48786a2789efba.zip
Rollup merge of #144803 - tshepang:rdg-sync, r=jieyouxu
rustc-dev-guide subtree update

Subtree update of `rustc-dev-guide` to https://github.com/rust-lang/rustc-dev-guide/commit/928720509932853d91dbbeadb39895c4eeb47bb2.

Created using https://github.com/rust-lang/josh-sync.

r? `@ghost`
Diffstat (limited to 'src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml')
-rw-r--r--src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
index ad570ee4595..04d6469aeaa 100644
--- a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
+++ b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
@@ -11,10 +11,11 @@ jobs:
     if: github.repository == 'rust-lang/rustc-dev-guide'
     uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main
     with:
+      github-app-id: ${{ vars.APP_CLIENT_ID }}
       zulip-stream-id: 196385
       zulip-bot-email:  "rustc-dev-guide-gha-notif-bot@rust-lang.zulipchat.com"
       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 }}