update for github DNS change