diff options
| author | itchyny <itchyny@cybozu.co.jp> | 2023-07-28 08:46:56 +0900 |
|---|---|---|
| committer | Nico Williams <nico@cryptonector.com> | 2023-07-27 19:18:16 -0500 |
| commit | 72f147e82e8051490e6ddfdb18c90ef84ef1d70c (patch) | |
| tree | e7a4381ffabdd0632c89586c8bbb9c13ce6df53a /.github | |
| parent | 4160a36fb5dd29b20b5786e40d62f00368aa4108 (diff) | |
Fix release job to create a pull request for signatures
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 519ebc5e..080a8f29 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -357,6 +357,7 @@ jobs: runs-on: ubuntu-latest permissions: contents: write + pull-requests: write environment: release needs: [linux, macos, windows, dist, docker] if: startsWith(github.ref, 'refs/tags/jq-') @@ -381,6 +382,7 @@ jobs: - name: Update signatures env: TAG_NAME: ${{ github.ref_name }} + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} run: | sig_dir="sig/v${TAG_NAME#jq-}" mkdir -p "$sig_dir" @@ -392,4 +394,4 @@ jobs: git config user.name 'github-actions[bot]' git config user.email 'github-actions[bot]@users.noreply.github.com' git commit -m "Update signatures of ${TAG_NAME#jq-}" - git push origin HEAD:master + gh pr create --title "Update signatures of ${TAG_NAME#jq-}" |