diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 1cc5381..07e2af0 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,9 +1,14 @@
 name: Docs
 on:
   push:
-  pull_request:
+    paths-ignore:
+      - '.mailmap'
+      - '.travis.yml'
   workflow_dispatch:
 
+permissions:
+  contents: read
+
 jobs:
   build:
     strategy: