maint: remove obsolete CI/maint and re-implement source index

Signed-off-by: Yury V. Zaytsev <[email protected]>

.github/workflows/update-sources.yml

@@ -0,0 +1,48 @@
+name: update-sources
+
+#on:
+#  push:
+#    branches:
+#      - master
+
+on: [ push ]
+
+jobs:
+  update-sources:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install GNU Global
+        run: sudo apt-get install -y global exuberant-ctags python-pygments
+
+      - name: Checkout source repo
+        uses: actions/checkout@v4
+        with:
+          repository: MidnightCommander/source
+          path: HTML
+          ssh-key: { { secrets.SOURCE_DEPLOY_KEY } }
+
+      - name: Create sources index
+        run: |
+          rm -rf HTML/*
+          gtags
+          htags --suggest -t "Welcome to the Midnight Commander source tour!"
+          ./maint/htagsfix
+
+      - name: Deploy to GitHub
+        run: |
+          cd HTML
+
+          touch .nojekyll
+          echo "source.midnight-commander.org" > CNAME
+
+          git init
+
+          git config user.name "GitHub Actions"
+          git config user.email "[email protected]"
+
+          git add . > /dev/null 2>&1
+          git commit -m "Deploy to GitHub Pages" > /dev/null 2>&1
+
+          git push --force --quiet [email protected]:MidnightCommander/source.git master:gh-pages > /dev/null 2>&1