git config --global user.email "<EMAIL>"

git clone https://${GH_TOKEN}@github.com/lambda-llama/bitset.git

cd bitset
git checkout -b gh-pages origin/gh-pages

mv ../index.html benchmarks/index.html
git add benchmarks

rm -rf docs
mv ../dist/doc/html/bitset docs
git add docs