Question regarding github: what's the difference between - the source tree obtained via `git clone' commandline and - the zip directly downloadable on github's main page for a given branch? I'm using the latter because it's much smaller and fast to download, but I'm wondering if I am missing important data in the trade.