It is insanely convenient that github exists though. Unless there was some way to federate git servers with each other, open source libs would be a lot less discoverable.