DNS changes for github pages