Drop changelog and todo in docs

phaverty · Jan 13, 2024 · a333049 · a333049
1 parent 05611df
commit a333049
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 188 deletions.
diff --git a/.github/workflows/TagBot.yml b/.github/workflows/TagBot.yml
@@ -28,3 +28,4 @@ jobs:
       - uses: JuliaRegistries/TagBot@v1
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
+          ssh: ${{ secrets.DOCUMENTER_KEY }}
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
@@ -20,7 +20,4 @@ docs_dir: 'build'
 
 pages:
   - Home: index.md
-  - News:
-    - Changelog: NEWS.md
-    - TODO: TODO.md
   - API: api.md
diff --git a/docs/src/NEWS.md b/docs/src/NEWS.md
diff --git a/docs/src/TODO.md b/docs/src/TODO.md