File tree 1 file changed +12
-1
lines changed
1 file changed +12
-1
lines changed Original file line number Diff line number Diff line change 63
63
cd ./docs
64
64
bundle install
65
65
66
+ - name : 📝 Extract PR number from last commit
67
+ run : |
68
+ COMMIT_MESSAGE=$(git show -s --format=%s HEAD)
69
+ PR_NUMBER=$(echo "$COMMIT_MESSAGE" | sed -nE 's/^Merge pull request #([0-9]+).*/\1/p')
70
+
71
+ if [ -n "$PR_NUMBER" ]; then
72
+ echo "PR_NUMBER=#$PR_NUMBER" >> $GITHUB_ENV; else
73
+ echo "PR_NUMBER=" >> $GITHUB_ENV
74
+ fi
75
+
66
76
- name : 🤖 Generate page(s) by README
67
77
env :
68
78
TZ : ' Asia/Tokyo'
79
+ PR_NUMBER : ${{ env.PR_NUMBER }}
69
80
run : |
70
81
cd ./docs
71
82
bundle exec rake upsert_data_by_readme
74
85
git config --global user.email "[email protected] "
75
86
git checkout main
76
87
git add en ja
77
- git commit -m ' 🤖 Generate page(s) by README'
88
+ git commit -m " 🤖 Generate page(s) by README $PR_NUMBER"
78
89
git push origin main
79
90
fi
80
91
You can’t perform that action at this time.
0 commit comments