Fix permissions for publishing docs

Author: tomwhite

.github/workflows/docs.yml

@@ -3,6 +3,8 @@ on:
   push:
     branches:
       - main
+permissions:
+  contents: write
 jobs:
   build:
     runs-on: ubuntu-20.04