ci: add safe.directory config to prevent upload issues

Added `git config --local --add safe.directory /github/workspace/docs/build/html` to prevent issues while uploading the documentation to GitHub Pages.

- Updated CI/CD pipeline script to include the safe.directory configuration.
- Ensured smooth uploading of the generated HTML documentation.

This change addresses potential permission issues during the documentation upload process, ensuring a seamless deployment to GitHub Pages.

.github/workflows/host_docs.yaml

@@ -46,6 +46,7 @@ jobs:
           git add -A
           git config --local user.email "[email protected]"
           git config --local user.name "GitHub Action"
+          git config --local --add safe.directory /github/workspace/docs/build/html
           git commit -m 'deploy'
 
       - name: Force push to destination branch