On Apr 16, 2015, at 11:36 AM, Rafael Vega <email.rafa@gmail.com> wrote: On the flip side, git is a distributed system but we're all putting our repos on a single host (github).