Can't browse source code via Savannah now. Here are symptoms:
$ wget -S -O- 'https://git.savannah.gnu.org/gitweb/?p=gettext.git'
--2025-02-02 10:31:43-- https://git.savannah.gnu.org/gitweb/?p=gettext.git
Resolving git.savannah.gnu.org (git.savannah.gnu.org)... 209.51.188.78,
2001:470:142:6::78
Connecting to git.savannah.gnu.org
(git.savannah.gnu.org)|209.51.188.78|:443... connected.
HTTP request sent, awaiting response...
HTTP/1.1 502 Bad Gateway
Server: nginx/1.18.0 (Trisquel GNU/Linux)
Date: Sun, 02 Feb 2025 18:31:43 GMT
Content-Type: text/html
Content-Length: 178
Connection: keep-alive
2025-02-02 10:31:43 ERROR 502: Bad Gateway.
