TJ's DNS records are served by our primary nameserver ns1.tjhsst.edu (198.38.16.40)
and our secondary nameserver ns2.tjhsst.edu (198.38.16.41)
. The records themselves are stored in a Git repository on GitLab. For detailed procedures, see our Runbooks.