some git notes and github dns issue