houseclean: forcepush when deploying documentation

JuliaImages / juliaimages.github.io

Documentation For JuliaImages

https://juliaimages.org

33 stars 55 forks source link

Closed johnnychen94 closed 2 years ago

johnnychen94 commented 2 years ago

I've manually compressed the git history in the master branch, this is the next step to make sure the history doesn't grow that fast.

closes #211

johnnychen94 commented 2 years ago

If the DocCleanup CI works, then https://juliaimages.org/previews/PR213/ will be 404 after this PR is merged.