Remove wiki from github (#216)

2020-11-04 01:29:36 +03:00
parent 90894cade2
commit 14d77afc5a
118 changed files with 3 additions and 3545 deletions
--- a/.github/workflows/publish_wiki.yml
+++ b/.github/workflows/publish_wiki.yml
@@ -1,23 +0,0 @@
-name: Publish the wiki
-
-
-on:
-  push:
-    branches: [ master ]
-    paths:
-    - 'wiki/**'
-
-
-jobs:
-  publish:
-    runs-on: ubuntu-latest
-
-    steps:
-      - name: Checkout branch
-        uses: actions/checkout@v1
-      - name: Upload Documentation to Wiki
-        run: bash ./.github/deploy_wiki.sh
-        env:
-          GH_PERSONAL_ACCESS_TOKEN: ${{ secrets.GH_PERSONAL_ACCESS_TOKEN }}
-          WIKI_PATH: "wiki"
-