[prmoustache]

I work with half of that on a VDI. Unless you are working on a single repo, you can always delete local repos once you have pushed your branch and you very rarely have to work on 50 repos at the same time.