Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 12 additions & 12 deletions .github/workflows/rustc-pull.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -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"
Expand Down
Loading