After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 781394 - Name resolution issues for socket.gnome.org
Name resolution issues for socket.gnome.org
Status: RESOLVED FIXED
Product: sysadmin
Classification: Infrastructure
Component: Other
unspecified
Other Linux
: Normal critical
: ---
Assigned To: GNOME Sysadmins
GNOME Sysadmins
Depends on:
Blocks:
 
 
Reported: 2017-04-17 08:16 UTC by Claude Paroz
Modified: 2017-04-18 14:22 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Claude Paroz 2017-04-17 08:16:49 UTC 
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
Comment 1 Andrea Veri 2017-04-18 09:29:17 UTC 
Should be fixed.
Comment 2 Claude Paroz 2017-04-18 09:39:43 UTC 
Yes, thanks!