| # Perform a subtree sync (pull) using the josh-sync tool once every few days (or on demand). |
| 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/stdarch' |
| uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main |
| with: |
| github-app-id: ${{ vars.APP_CLIENT_ID }} |
| # https://rust-lang.zulipchat.com/#narrow/channel/208962-t-libs.2Fstdarch/topic/Subtree.20sync.20automation/with/528461782 |
| zulip-stream-id: 208962 |
| zulip-bot-email: "stdarch-ci-bot@rust-lang.zulipchat.com" |
| pr-base-branch: master |
| branch-name: rustc-pull |
| secrets: |
| zulip-api-token: ${{ secrets.ZULIP_API_TOKEN }} |
| github-app-secret: ${{ secrets.APP_PRIVATE_KEY }} |
