cherry_pick.yml

 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}