Github isn't a? feature of? groups.io.? It is a central repository of program code used by collaborative computer types.? It's based on a version control system called git.? Presumably that term meant nothing special to the linux developers of the time...
