From 076e7e44d0896e5cbdcef4589950c3d97d525c5c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= <berykubik@gmail.com>
Date: Sun, 28 Jun 2026 17:30:23 +0200
Subject: [PATCH] Read Zulip bot e-mail from inputs and not secrets in CI
 action

---
 .github/workflows/rustc-pull.yml | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/rustc-pull.yml b/.github/workflows/rustc-pull.yml
index a40f528..250e444 100644
--- a/.github/workflows/rustc-pull.yml
+++ b/.github/workflows/rustc-pull.yml
@@ -11,29 +11,29 @@ on:
         description: 'Username of a GitHub account that will create the sync PR. Must include [bot] at the end.'
         required: true
         type: string
-      branch-name:
-        description: 'Name of the branch to create for the sync'
-        required: false
-        default: rustc-pull
-        type: string
-      pr-base-branch:
-        description: 'Base branch for the pull request'
+      zulip-bot-email:
+        description: 'Zulip bot email address'
         required: false
         type: string
-        default: 'master'
       zulip-stream-id:
         description: 'Zulip stream ID for notifications'
         required: false
         type: string
       zulip-topic:
         description: 'Zulip topic for notifications'
+        default: 'Subtree sync automation'
         required: false
         type: string
-        default: 'Subtree sync automation'
-      zulip-bot-email:
-        description: 'Zulip bot email address'
+      branch-name:
+        description: 'Name of the branch to create for the sync'
         required: false
+        default: rustc-pull
         type: string
+      pr-base-branch:
+        description: 'Base branch for the pull request'
+        required: false
+        type: string
+        default: 'master'
       environment:
         description: 'GitHub Actions environment that will be used to access secrets'
         required: false
@@ -164,7 +164,7 @@ jobs:
         uses: zulip/github-actions-zulip/send-message@e4c8f27c732ba9bd98ac6be0583096dea82feea5
         with:
           api-key: ${{ secrets.zulip-api-token }}
-          email: ${{ secrets.zulip-bot-email }}
+          email: ${{ inputs.zulip-bot-email }}
           organization-url: "https://rust-lang.zulipchat.com"
           to: ${{ inputs.zulip-stream-id }}
           type: "stream"