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.yml1
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