GitHub open sources OctoDNS, new tool for managing DNS records

OctoDNS makes it easier for any member of the GitHub team to manage DNS records, and it enables GitHub to keep records in sync over multiple providers.