[Bug 781394] New: Name resolution issues for socket.gnome.org

["sysadmin" (GNOME Bugzilla) <bugzilla gnome org>]

Bug ID	781394
Summary	Name resolution issues for socket.gnome.org
Classification	Infrastructure
Product	sysadmin
Version	unspecified
OS	Linux
Status	NEW
Severity	critical
Priority	Normal
Component	Other
Assignee	sysadmin-maint@gnome.bugs
Reporter	claude@2xlibre.net
QA Contact	sysadmin-maint@gnome.bugs
GNOME version	---

There are currently major issues on l10n.gnome.org, as the name resolution
being apparently down on the server.

$ sudo -u gnomeweb -i
sudo: unable to resolve host socket.gnome.org: Connection timed out

gnomeweb@socket:~/scratchdir/git/gspell$ git pull
ssh: Could not resolve hostname git.gnome.org: Temporary failure in name
resolution

The last update mail received by procmail on the server is from:
>From matthiasc@git.gnome.org  Sun Apr 16 04:01:03 2017
 Subject: GNOME_GIT recipes master

---

      You are receiving this mail because:

• You are watching the QA Contact of the bug.
• You are watching the assignee of the bug.