updated git command

Author: Aurela Shehu

.github/workflows/documentation.yml

@@ -41,7 +41,10 @@ jobs:
         run: echo Hello, world!
 
       - name: Checkout owl file from main
-        run: git checkout main MathModDB_full.owl
+        run: git fetch origin
+             git checkout main
+             git restore --source=main MathModDB_full.owl
+
 
 
       # Runs a set of commands using the runners shell