docs deploy bot permissions

Author: jeffjennings

Diff for: .github/workflows/docs.yml

@@ -71,6 +71,8 @@ jobs:
     needs: docs-build
     # if: github.event.pull_request.merged == true
     runs-on: ubuntu-latest
+    permissions: 
+      contents: write
 
     steps:
       - name: Checkout repo