Add dotty to the safe directories in nightly_documentation

Author: hamzaremmal

.github/workflows/ci.yaml

@@ -588,6 +588,7 @@ jobs:
 
       - name: Generate Website
         run: |
+          git config --global --add safe.directory /__w/dotty/dotty
           ./project/scripts/genDocs -doc-snapshot
 
       - name: Deploy Website to dotty-website