Makefile-web: push to github repo too.