| name: rustc-pull | |
| on: | |
| workflow_dispatch: | |
| schedule: | |
| # Run at 04:00 UTC every Monday and Thursday | |
| - cron: '0 4 * * 1,4' | |
| jobs: | |
| pull: | |
| if: github.repository == 'rust-lang/rustc-dev-guide' | |
| uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main | |
| with: | |
| 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 }} |