#!/usr/bin/env bash # copy website to build cp -R common/src/web build # switch to gh-pages and copy the files git checkout gh-pages || exit # make sure that our local version is up to date. git pull || exit rm -rf web mv build/web web git add -A web read -p "Do you want to commit the changes? (Y/n):" changes