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

У меня недавно была похожая проблема. Попробуйте выполнить следующую команду, а затем снова попытаться выполнить сборку.

sudo apt-get update && sudo apt-get upgrade -y

Другой вариант, если сборка не удалась, — ./discourse-doctor