Skip to content

Commit 380e2ae

Browse files
committed
wip2
1 parent 27e7bcb commit 380e2ae

File tree

1 file changed

+17
-16
lines changed

1 file changed

+17
-16
lines changed

.github/workflows/docs.yml

Lines changed: 17 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -29,22 +29,23 @@ jobs:
2929
git diff
3030
cd docs/build
3131
python build.py
32-
git diff --quiet && DIFF=false || DIFF=true
33-
echo $DIFF
34-
echo "diff=$DIFF" >> $GITHUB_OUTPUT
35-
36-
- name: Commit and push changes
37-
if: steps.generate.outputs.diff == 'true'
38-
run: |
39-
echo $GITHUB_OUTPUT
40-
git checkout -b update-docs
41-
git add docs/api-reference
42-
git config --global user.name 'github-actions'
43-
git config --global user.email 'github-actions@github.com'
44-
git commit -m "Update documentation"
45-
git push -u origin update-docs
46-
env:
47-
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
32+
git diff
33+
# git diff --quiet && DIFF=false || DIFF=true
34+
# echo $DIFF
35+
# echo "diff=$DIFF" >> $GITHUB_OUTPUT
36+
37+
# - name: Commit and push changes
38+
# if: steps.generate.outputs.diff == 'true'
39+
# run: |
40+
# echo $GITHUB_OUTPUT
41+
# git checkout -b update-docs
42+
# git add docs/api-reference
43+
# git config --global user.name 'github-actions'
44+
# git config --global user.email 'github-actions@github.com'
45+
# git commit -m "Update documentation"
46+
# git push -u origin update-docs
47+
# env:
48+
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
4849

4950
# - name: Create Pull Request
5051
# uses: peter-evans/create-pull-request@v6

0 commit comments

Comments
 (0)