diff options
| author | Samuel Tardieu <sam@rfc1149.net> | 2025-08-02 11:24:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-02 11:24:29 +0200 |
| commit | 0fcfb8bee761b616bc36c88d2d48786a2789efba (patch) | |
| tree | 772c51695c691c4219b42ae89ca666733e0df768 /src/doc/rustc-dev-guide/.github | |
| parent | 5e1ea9cda4fba3703f3dc15522d7a50236b4f4f9 (diff) | |
| parent | 171c2478c06da00fb010cc77c333d328410ee796 (diff) | |
| download | rust-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')
| -rw-r--r-- | src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml | 3 |
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 }} |