Auto doc CI/CD
Use CI/CD to auto compile the static pages and deploy them.
This will remove the need to do
jb build .
git add _build/html/*
git commit --all
git push
It might also keep the branch main clearer as the folder _build/ might not be necessary anymore.