Update `make demo` for github-pages

Summary:
automating git push -f is actually less scary than doing it
manually, because if you do it manually and mess up, it could
do really bad things to the upstream repo

Test Plan:
run `make demo`