Skip to content
This repository was archived by the owner on Jan 16, 2026. It is now read-only.

Commit 6c40ec3

Browse files
committed
remove unused code
1 parent 4254e0c commit 6c40ec3

File tree

1 file changed

+0
-34
lines changed

1 file changed

+0
-34
lines changed

.github/workflows/static.yml

Lines changed: 0 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -70,37 +70,3 @@ jobs:
7070
7171
echo "::debug::Push commit to remote"
7272
git push -f https://git:${{ secrets.SRC_TOKEN }}@github.com/dnvgl/WebAppTemplateDoc.git HEAD:gh-pages
73-
74-
# - name: Publish pages
75-
# env:
76-
# SRC_FOLDER_PATH: 'docs/articles/website/docs'
77-
# TARGET_BRANCH: 'gh-pages'
78-
# run: |
79-
# ls
80-
# files=$(find $SRC_FOLDER_PATH -type f) # get the file list
81-
# git config --global user.name 'GitHub Action'
82-
# git config --global user.email '[email protected]'
83-
# git fetch # fetch branches
84-
# git checkout $TARGET_BRANCH # checkout to your branch
85-
# git checkout ${GITHUB_REF##*/} -- $files # copy files from the source branch
86-
# git add -A
87-
# git diff-index --quiet HEAD || git commit -am "deploy files" # commit to the repository (ignore if no modification)
88-
# git push origin $TARGET_BRANCH # push to remote branch
89-
90-
# - name: Publish gh-pages
91-
# run: |
92-
# #cd docs/articles/website
93-
# #ls
94-
# cd docs/_site
95-
96-
# echo "::debug::Add new files to git"
97-
# git fetch
98-
# git add .
99-
100-
# echo "::debug::Commit changes to git"
101-
# git config user.email "[email protected]"
102-
# git config user.name "github actions bot"
103-
# git commit -m "Update docs" || echo "No change to commit"
104-
105-
# echo "::debug::Push commit to remote"
106-
# git push https://git:${{ secrets.SRC_TOKEN }}@github.com/veracity-engineering/WebAppTemplateDoc.git HEAD:gh-pages

0 commit comments

Comments
 (0)