Remove github CI config

.github/workflows/ci.yaml

-name: CI
-
-on:
-  # Run on all pull requests that change code.
-  pull_request:
-    paths-ignore:
-      - 'README.md'
-      - LICENSE
-      - .editorconfig
-  # Run every time a code change is pushed.
-  push:
-    paths-ignore:
-      - 'README.md'
-      - LICENSE
-      - .editorconfig
-  # Test if things still work each Tuesday morning at 5:39 UTC.
-  # This way we will catch incompatible pandoc changes in a timely
-  # manner.
-  schedule:
-    # At 5:39am each Tuesday
-    - cron: '39 5 * * 2'
-
-jobs:
-  test:
-    runs-on: ubuntu-latest
-    strategy:
-      fail-fast: true
-      matrix:
-        pandoc:
-          - edge
-          - latest
-            # This should be the oldest version that's supported
-            # - 2.19.2
-
-    container:
-      image: pandoc/core:${{ matrix.pandoc }}
-
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v2
-
-      - name: Install dependencies
-        run: apk add make
-
-      - name: Test
-        run: make test

.github/workflows/website.yml

-name: Publish Website
-
-# Allow one concurrent deployment
-concurrency:
-  group: "pages"
-  cancel-in-progress: true
-
-# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
-permissions:
-  contents: read
-  pages: write
-  id-token: write
-
-on:
-  push:
-    branches: ['main']
-
-jobs:
-  website:
-    runs-on: ubuntu-latest
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v3
-      - name: Setup Pages
-        uses: actions/configure-pages@v1
-      - name: Render Website
-        run: |
-          make -B website \
-            PANDOC="docker run --rm --volume $(pwd):/data \
-              --user $(id -u):$(id -g) pandoc/core:latest"
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v1
-        with:
-          path: '_site'
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@main