ci: fixes for documentation deployment

wslutilities · Mar 10, 2024 · 19cef0a · 19cef0a
1 parent 1893ef6
commit 19cef0a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -11,11 +11,11 @@ jobs:
  - uses: actions/checkout@v2
  - name: deploy manpages to website
  env:
- GH_TOKEN: ${{ secrets.GIT_DEPLOY_KEY }}
+ GH_TOKEN: ${{ secrets.GITLAB_DEPLOY_KEY }}
  run: |
  git config --global user.email "[email protected]"
  git config --global user.name "Jinming Wu, Patrick"
- git clone --depth 1 https://patrick330602:$GH_TOKEN@github.com/wslutilities/wslutilities.github.io.git website
+ git clone --depth 1 https://patrick:$GH_TOKEN@git.wedotstud.io/wslu/documentation website
  cp -f ./CODE_OF_CONDUCT.md ./website/coc.md
  cp -f ./CONTRIBUTING.md ./website/contributing.md
  git --git-dir=./website/.git --work-tree=./website add -A

diff --git a/.github/workflows/manpage.yml b/.github/workflows/manpage.yml
@@ -17,11 +17,11 @@ jobs:
  run: bash -c "for x in docs/*; do groff \$x -mandoc -Thtml > \${x%.*}.html; done"
  - name: deploy manpages to website
  env:
- GH_TOKEN: ${{ secrets.GIT_DEPLOY_KEY }}
+ GH_TOKEN: ${{ secrets.GITLAB_DEPLOY_KEY }}
  run: |
  git config --global user.email "[email protected]"
  git config --global user.name "Jinming Wu, Patrick"
- git clone --depth 1 https://patrick330602:$GH_TOKEN@github.com/wslutilities/wslutilities.github.io.git website
+ git clone --depth 1 https://patrick:$GH_TOKEN@git.wedotstud.io/wslu/website website
  bash -x extras/scripts/manpage_deploy.bash
  git --git-dir=./website/.git --work-tree=./website add -A
  git --git-dir=./website/.git --work-tree=./website commit -m "Manpage update"