And for those who don’t know: git was there first, then github made it their marketing model (they are two different things, don’t confuse git with github!)