Rather than rebuilding the material off the production branch (which could result in changes from the dev version) perhaps we should just copy whatever is in dev/ to the root of the gh-pages branch (and then delete everything else). That way dev serves as a stable staging area for the new production version.
Rather than rebuilding the material off the
productionbranch (which could result in changes from thedevversion) perhaps we should just copy whatever is indev/to the root of thegh-pagesbranch (and then delete everything else). That waydevserves as a stable staging area for the new production version.