GitHub, the online code-sharing and development platform, is introducing a new open source tool to make it easier to create that redundancy. OctoDNS is the system GitHub has been using for a few ...