GitHub has become so ubiquitous that you might think Git is an interchangeable shorthand. But the two are very different, and alternatives to each are available, if not quite as popular.