Remove the 'archive' workflow.

.github/workflows/archive.yml

@@ -1,44 +0,0 @@
-name: "Archive Issues and Pull Requests"
-
-on:
-  schedule:
-    - cron: '0 0 * * 0,2,4'
-  repository_dispatch:
-    types: [archive]
-  workflow_dispatch:
-    inputs:
-      archive_full:
-        description: 'Recreate the archive from scratch'
-        default: false
-        type: boolean
-
-jobs:
-  build:
-    name: "Archive Issues and Pull Requests"
-    runs-on: ubuntu-latest
-    permissions:
-      contents: write
-    steps:
-    - name: "Checkout"
-      uses: actions/checkout@v4
-
-    # Note: No caching for this build!
-
-    - name: "Update Archive"
-      uses: martinthomson/i-d-template@v1
-      env:
-        ARCHIVE_FULL: ${{ inputs.archive_full }}
-      with:
-        make: archive
-        token: ${{ github.token }}
-
-    - name: "Update GitHub Pages"
-      uses: martinthomson/i-d-template@v1
-      with:
-        make: gh-archive
-        token: ${{ github.token }}
-
-    - name: "Save Archive"
-      uses: actions/upload-artifact@v4
-      with:
-        path: archive.json