File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -19,14 +19,15 @@ jobs:
1919 run : make docs
2020 - name : Commit changes
2121 env :
22+ GH_TOKEN : ${{ secrets.GH_TOKEN }}
2223 COMMIT_MSG : |
2324 [docgen] Update doc/orgmode.txt
2425 run : |
2526 git config user.name github-actions
2627 git config user.email github-actions@github.com
2728 git add doc/orgmode.txt
2829 # Only commit and push if we have changes
29- git diff --quiet && git diff --staged --quiet || (git commit -m "${COMMIT_MSG}"; git push)
30+ git diff --quiet && git diff --staged --quiet || (git commit -m "${COMMIT_MSG}"; git push -u $GH_TOKEN )
3031
3132 api_docgen :
3233 runs-on : ubuntu-latest
@@ -46,11 +47,12 @@ jobs:
4647 run : make api_docs
4748 - name : Commit changes
4849 env :
50+ GH_TOKEN : ${{ secrets.GH_TOKEN }}
4951 COMMIT_MSG : |
5052 [docgen] Update doc/orgmode_api.txt
5153 run : |
5254 git config user.name github-actions
5355 git config user.email github-actions@github.com
5456 git add doc/orgmode_api.txt
5557 # Only commit and push if we have changes
56- git diff --quiet && git diff --staged --quiet || (git commit -m "${COMMIT_MSG}"; git push)
58+ git diff --quiet && git diff --staged --quiet || (git commit -m "${COMMIT_MSG}"; git push -u $GH_TOKEN )
You can’t perform that action at this time.
0 commit comments