1# Generated from xtask::workflows::cherry_pick
2# Rebuild with `cargo xtask workflows`.
3name: cherry_pick
4run-name: 'cherry_pick to ${{ inputs.channel }} #${{ inputs.pr_number }}'
5on:
6 workflow_dispatch:
7 inputs:
8 commit:
9 description: commit
10 required: true
11 type: string
12 branch:
13 description: branch
14 required: true
15 type: string
16 channel:
17 description: channel
18 required: true
19 type: string
20 pr_number:
21 description: pr_number
22 required: true
23 type: string
24jobs:
25 run_cherry_pick:
26 runs-on: namespace-profile-2x4-ubuntu-2404
27 steps:
28 - name: steps::checkout_repo
29 uses: actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd
30 with:
31 clean: false
32 - id: generate-token
33 name: steps::authenticate_as_zippy
34 uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859
35 with:
36 app-id: ${{ secrets.ZED_ZIPPY_APP_ID }}
37 private-key: ${{ secrets.ZED_ZIPPY_APP_PRIVATE_KEY }}
38 permission-contents: write
39 permission-workflows: write
40 permission-pull-requests: write
41 - name: cherry_pick::run_cherry_pick::cherry_pick
42 run: ./script/cherry-pick "$BRANCH" "$COMMIT" "$CHANNEL"
43 env:
44 BRANCH: ${{ inputs.branch }}
45 COMMIT: ${{ inputs.commit }}
46 CHANNEL: ${{ inputs.channel }}
47 GIT_COMMITTER_NAME: Zed Zippy
48 GIT_COMMITTER_EMAIL: hi@zed.dev
49 GITHUB_TOKEN: ${{ steps.generate-token.outputs.token }}
50defaults:
51 run:
52 shell: bash -euxo pipefail {0}