gh-build-proxy-server. Given a github repo, can we automatically build a web dist, and serve it via a domain name or a path