On Nov 6, 2017, at 1:52 PM, Ben Coman <btc@openinworld.com> wrote:

Some would say it was github that "made" git (popular).