File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -26,10 +26,12 @@ runs:
2626 shell : bash
2727 if : github.event_name != 'pull_request' || github.event.action != 'closed'
2828 run : ${{ github.action_path }}/scripts/action/show_diff.sh
29+ - name : Set HEAD_REF
30+ shell : bash
31+ run : echo "HEAD_REF=${{github.event.pull_request.head.ref || github.ref_name}}" >>"${GITHUB_ENV}"
2932 # 差分があったときは、コミットを作りpushする
3033 - name : Push
3134 env :
32- HEAD_REF : ${{github.event.pull_request.head.ref || github.ref_name}}
3335 PR_TITLE_PREFIX : ${{inputs.pr-title-prefix}}
3436 AUTHOR : ${{github.actor}}
3537 GITHUB_TOKEN : ${{inputs.github-token}}
Original file line number Diff line number Diff line change 11#! /usr/bin/env bash
22
3- echo " HEAD_REF=${HEAD_REF} " >> " ${GITHUB_ENV} "
43git config user.name " github-actions[bot]"
54EMAIL=" 41898282+github-actions[bot]@users.noreply.github.com"
65git config user.email " ${EMAIL} "
You can’t perform that action at this time.
0 commit comments