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.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/rustc-pull.yml b/.github/workflows/rustc-pull.yml index 37cf5f3726..be3362b79b 100644 --- a/.github/workflows/rustc-pull.yml +++ b/.github/workflows/rustc-pull.yml @@ -12,6 +12,7 @@ jobs: uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main with: github-app-id: ${{ vars.APP_CLIENT_ID }} + pr-author: "workflows-rust-analyzer[bot]" zulip-stream-id: 185405 zulip-bot-email: "[email protected]" pr-base-branch: master |