Cleaning up the web git repo