user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

WIP: auth using GitHub app

Browse source
This commit is contained in:
Jakub Beránek 2025-07-29 09:35:50 +02:00
parent bfca77bf84
commit ede338cd8f
No known key found for this signature in database
GPG key ID: 909CD0D26483516B
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml vendored
View file

@ -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 }}