Ignore empty directory in docs workflow

Author: adazem009

.github/workflows/docs.yml

@@ -31,7 +31,7 @@ jobs:
         cd docs-repo
         git checkout --orphan new-branch
         sudo chown -R $(whoami):$(whoami) ../docs
-        git rm -rf .
+        git rm -rf . || true
         mv ../docs/* ./
         git config user.name "GitHub Actions Bot"
         git config user.email "<>"