diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-07-29 09:35:50 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-07-29 09:35:50 +0200 |
| commit | ede338cd8f2353cfef3c3b8d51ae185ed5c45f40 (patch) | |
| tree | 9169dfeaffae14dd2bee831eafde2e621f7966f7 | |
| parent | bfca77bf84e25470210624ecad0cecfc4e791854 (diff) | |
| download | rust-ede338cd8f2353cfef3c3b8d51ae185ed5c45f40.tar.gz rust-ede338cd8f2353cfef3c3b8d51ae185ed5c45f40.zip | |
WIP: auth using GitHub app
| -rw-r--r-- | src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml | 5 |
1 files changed, 3 insertions, 2 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..ea4d7532a9f 100644 --- a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml +++ b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml @@ -9,12 +9,13 @@ on: jobs: pull: if: github.repository == 'rust-lang/rustc-dev-guide' - uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main + uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@ci-gh-app 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 }} |