Home

Jump to bottom

Marcelo Forets edited this page Jul 10, 2022 · 2 revisions

Welcome to the ReachabilityAnalysis.jl wiki!

How to permanently delete all preview branches

git rm -rf "previews/PR*"
git commit -m "delete previews"
git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree})
git push --force origin gh-pages-new:gh-pages
git checkout master
git branch -D gh-pages gh-pages-new

See this comment.