File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change 59
59
git worktree add --no-checkout --detach site
60
60
git -C site remote rm origin
61
61
git -C site remote add origin "https://x-access-token:${{ secrets.PAT }}@github.com/${{ github.repository }}"
62
+ git -C site fetch origin
62
63
git -C site checkout --orphan gh-pages
63
64
git -C site reset --hard
64
- git -C site read-tree --reset -u website
65
+ git -C site read-tree --reset -u origin/ website
65
66
66
67
- name : Generate Documentation
67
68
run : |
73
74
run : |
74
75
git -C site add --all
75
76
git -C site commit --quiet --no-verify -m "${{ github.repository }}@${{ github.sha }}"
76
- git -C site push origin --force-with-lease HEAD:refs/heads/gh-pages
77
+ git -C site push origin --force HEAD:refs/heads/gh-pages
77
78
78
79
- name : Cleanup
79
80
run : |
You can’t perform that action at this time.
0 commit comments