Move docs pipelines to use Actions (#24434)

similar to #24314, this moves drone cron pipelines to (GitHub) Actions.
As these are mostly compatible with Gitea Actions, when we start to
dogfood, these will already be migrated.

I also removed the discord notify pipeline, as it hasn't been working
for several months.

.github/workflows/pull-compliance_docs.yml

@@ -0,0 +1,22 @@
+name: Compliance testing for documentation
+
+on:
+  pull_request:
+    paths:
+      - "docs/**"
+      - "*.md"
+
+jobs:
+  compliance-docs:
+    runs-on: ubuntu-latest
+    steps:
+      - name: checkout
+        uses: actions/checkout@v3
+      - name: setup node
+        uses: actions/setup-node@v2
+        with:
+          node-version: 18
+      - name: install dependencies
+        run: make deps-frontend
+      - name: lint markdown
+        run: make lint-md

.github/workflows/push-publish_docs.yml

@@ -0,0 +1,31 @@
+name: Publish documentation
+
+on:
+  push:
+    paths:
+      - "docs/**"
+  branch:
+    - main
+
+jobs:
+  compliance-docs:
+    runs-on: ubuntu-latest
+    steps:
+      - name: checkout
+        uses: actions/checkout@v3
+      - name: setup go
+        uses: actions/setup-go@v4
+        with:
+          go-version: '>=1.20.1'
+      - name: build docs
+        run: |
+          cd docs
+          make trans-copy clean build
+      - name: publish to netlify
+        uses: nwtgck/actions-netlify@v2.0
+        with:
+          production-branch: main
+          publish-dir: docs/public/
+          site-id: d2260bae-7861-4c02-8646-8f6440b12672
+        env:
+          NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }}