fix if statement in bash

Author: Anmol1696

.github/workflows/docs.yaml

@@ -31,4 +31,5 @@ jobs:
           if git diff --quiet; then
               echo "No changes to commit."
           else
-              git push
+              git push
+          fi