updating dns in the future: new /git/dns repo and tools