diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 6a88587..bcac7e3 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,14 +1,15 @@
-name: Linting and formatting
+name: Deploy docs to GitHub Pages
 
 on:
   push:
     branches:
       - master
-  pull_request:
 
 jobs:
-  run-docs:
+  deploy-docs:
     runs-on: ubuntu-24.04
+    permissions:
+        contents: write
 
     steps:
       - run: sudo apt-get install -y just
diff --git a/TODO.md b/TODO.md
index ace4a7d..4d77ef8 100644
--- a/TODO.md
+++ b/TODO.md
@@ -2,3 +2,4 @@
 
 - [ ] Document in contributing why attributes are double typed.
 - [ ] Add general documentation and tutorials.
+- [ ] Fix PR requirements.