File tree Expand file tree Collapse file tree 1 file changed +15
-0
lines changed Expand file tree Collapse file tree 1 file changed +15
-0
lines changed Original file line number Diff line number Diff line change 9393 - name : Run translation script on changed files
9494 run : |
9595 git checkout master
96+ cp src/SUMMARY.md /tmp/master-summary.md
9697 export OPENAI_API_KEY=${{ secrets.OPENAI_API_KEY }}
9798 git diff --name-only HEAD~1 | grep -v "SUMMARY.md" | while read -r file; do
9899 if echo "$file" | grep -qE '\.md$'; then
@@ -117,6 +118,20 @@ jobs:
117118 echo "No markdown files changed, skipping translation."
118119 fi
119120
121+ - name : Sync SUMMARY.md from master
122+ run : |
123+ git checkout "$BRANCH"
124+ git pull
125+ if [ -f /tmp/master-summary.md ]; then
126+ cp /tmp/master-summary.md src/SUMMARY.md
127+ git add src/SUMMARY.md
128+ git commit -m "Sync SUMMARY.md with master" || echo "SUMMARY already up to date"
129+ git push || echo "No SUMMARY updates to push"
130+ else
131+ echo "master summary not exported; failing"
132+ exit 1
133+ fi
134+
120135 - name : Build mdBook
121136 run : |
122137 git checkout "$BRANCH"
You can’t perform that action at this time.
0 commit comments