Recipe to refresh upstream gh-pages branch

Downstream-gh-pages-refresh.sh

pushd `git rev-parse --show-toplevel`

git fetch
git checkout gh-pages
git pull

git branch -vv ; git status -vv
git worktree add ./omaster origin/master
cp -uv omaster/LICENSE .
cp -uv omaster/README.md .

cp -uv omaster/lcars/index.html .
cp -ruv omaster/lcars/js .
cp -ruv omaster/lcars/css .
cp -ruv omaster/lcars/img .
cp -ruv omaster/lcars/audio .

git worktree remove ./omaster

git diff

git status
git add index.html README.md LICENSE
git add ./js ./css ./img ./audio
git status

git branch -vv
git commit -m "Refresh gh-pages from master. Late breaking fixes"
git push origin

popd

Upstream-gh-pages-refresh.sh

pushd `git rev-parse --show-toplevel`

git fetch
git checkout master
git pull

git branch -vv ; git status -vv
git worktree add ./gh-pages upstream/gh-pages
cd gh-pages
git checkout -b refresh-gh-pages
git branch -vv
cd ..

cp LICENSE README.md gh-pages/
cd lcars
cp -rp audio/ css/ img/ js/ index.html ../gh-pages/
cd ../gh-pages/
# git diff #?
git add *
git status 

git commit -m "github.io repository page refresh including audio module, SVG geometry, colors expansion, and doc/demo fixes."
git push origin refresh-gh-pages

cd ..
git worktree remove ./gh-pages
popd
#now of course file a pr on gh