Не удалось пересобрать приложение из-за проблем с DNS-сервером имен: «could not resolve host github.com»

Это хороший момент: обновление и перезагрузка помогли решить похожую проблему, с которой я столкнулся несколько дней назад.