From 55bdd192566df10f927de9f902270ba3789cb3e8 Mon Sep 17 00:00:00 2001
From: 简律纯 <i@jyunko.cn>
Date: Tue, 27 Feb 2024 11:20:26 +0800
Subject: chore(workflow): delete .github/workflows/docs.yml

---
 .github/workflows/docs.yml | 40 ----------------------------------------
 1 file changed, 40 deletions(-)
 delete mode 100644 .github/workflows/docs.yml

(limited to '.github/workflows/docs.yml')

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
deleted file mode 100644
index ef66ac9..0000000
--- a/.github/workflows/docs.yml
+++ /dev/null
@@ -1,40 +0,0 @@
-name: Sync psi docs to HydroRoll
-
-on:
-  push:
-    branches:
-      - main
-
-jobs:
-  sync-psi-docs:
-    runs-on: ubuntu-latest
-
-    steps:
-    - name: Checkout HydroRoll
-      uses: actions/checkout@v2
-      with:
-        path: HydroRoll
-      env:
-        GITHUB_TOKEN: ${{ secrets.CI_TOKEN }}
-
-    - name: Clone psi repo
-      run: |
-        git clone https://x-access-token:${{ secrets.CI_TOKEN }}@github.com/HydroRoll-Team/psi.git
-
-    - name: Copy psi docs to HydroRoll
-      run: |
-        mkdir -p HydroRoll/docs/pages/psi
-        cp -r psi/docs/pages/* HydroRoll/docs/pages/psi/
-
-    - name: Commit and push if it changed
-      run: |
-        cd HydroRoll
-        git config --local user.email "i@jyunko.cn"
-        git config --local user.name "Hsiang Nianian"
-        git add -A
-        if git diff --quiet HEAD; then
-          echo "No changes to commit"
-        else
-          git commit -m "Sync psi docs"
-          git push
-        fi
-- 
cgit v1.2.3-70-g09d2