Lightweight repo for git clone

[Jeffjeno]

Hi, thanks for the great work!

When I cloned the repo, I noticed that the repository size is almost 200MB.
Would it be possible to provide a lightweight branch (or separate branch) that excludes large doc / asset files?
It would greatly help reduce clone time and storage cost.

Thanks!

[kenjitoyama]

Hi @Jeffjeno, yeah, the current branch setup isn't ideal for lightweight clones. We could separate the documentation to its own branch to keep main smaller. The thing is that we don't interface directly with Github via git, and we instead use an internal service called Copybara to copy code over, and we don't know how to push to separate branches. It probably requires quite a bit of fiddling with the process, and it's a bit of a pain. I'll open a feature request in our internal bug tracker, but I won't promise you that this will be resolved soon.

Best,

Daniel