use until do loop to push changes

Author: quarckster

.github/workflows/deploy-site.yaml

@@ -30,5 +30,4 @@ jobs:
         run: |
           git config user.name openssl-machine
           git config user.email [email protected]
-          git pull --rebase origin gh-pages
-          git push origin gh-pages
+          until git push origin gh-pages; do git pull --rebase origin gh-pages; done