fix: add force to ci script

scripts/deploy-wiki.sh

@@ -43,9 +43,9 @@ git add -A
 # now commit, ignoring branch gh-pages doesn't seem to work, so trying skip
 git commit --allow-empty -m "Deploy to GitHub pages [ci skip]"
 # and push, but send any output to /dev/null to hide anything sensitive
-git push --quiet codiusd master
-git push --quiet codius master
-git push --quiet codiuswiki master
+git push --force --quiet codiusd master
+git push --force --quiet codius master
+git push --force --quiet codiuswiki master
 # go back to where we started and remove the gh-pages git repo we made and used
 # for deployment
 cd ..