Where are the website sources (www.gnustep.org) located?

Hi there,


we have broken links for the Mailinglists web interface on our website ( at https://www.gnustep.org/information/gethelp.html ).

It says for instance:

http://mail.gnu.org/mailman/listinfo/discuss-gnustep

but it should be:

https://lists.gnu.org/mailman/listinfo/discuss-gnustep


according to a chat at irc://irc.libera.chat/gnu:

[8:56pm] iooi <member:iooi>: Hi!
[8:56pm] iooi <member:iooi>: Btw. mail.gnu.org <http://mail.gnu.org/> seems to be down: https://downforeveryoneorjustme.com/mail.gnu.org
[8:57pm] DaWolf <member:DaWolf> hat den Chatroom verlassen. (Ping timeout: 265 seconds)
[8:58pm] 
[10:18pm] ingenrelNeoJesus <member:ingenrelNeoJesus> hat den Chatroom betreten.
[10:32pm] mattl <member:mattl>: iooi <member:iooi>: what are you expecting to a web browser to see at mail.gnu.org <http://mail.gnu.org/>?
[10:32pm] memset <member:memset> hat den Chatroom verlassen. (Remote host closed the connection)
[10:34pm] 
[11:34pm] socksbuny <member:socksbuny> hat den Chatroom verlassen. (Quit: goodbye :))
[11:36pm] rcttts <member:rcttts> hat den Chatroom verlassen. (Remote host closed the connection)
[11:36pm] iooi <member:iooi>: matti: for instance this: http://mail.gnu.org/mailman/listinfo/discuss-gnustep
[11:36pm] hwpplayer1 <member:hwpplayer1> hat den Chatroom verlassen. (Quit: sleep)
[11:36pm] 
[12:00am] PacMiam <member:PacMiam> hat den Chatroom verlassen. (Quit: Beam to ship)
[12:05am] mattl <member:mattl>: iooi <member:iooi>: where are you finding that linked?
[12:05am] blackout69 <member:blackout69> hat den Chatroom verlassen. (Remote host closed the connection)
[12:06am] mattl <member:mattl>: the correct link is https://lists.gnu.org/mailman/listinfo/discuss-gnustep
[12:06am] iooi <member:iooi>: On the GNUstep website. This is the interface to manage mailing list membe <member:embe>rship, and there are several more lists on this. May I ask you why you are questioning my request?
[12:07am] ewig <member:ewig> hat den Chatroom verlassen. (Ping timeout: 245 seconds)
[12:07am] mattl <member:mattl>: iooi <member:iooi>: because it's the wrong link and I'm surprised to see it, given that I've never seen a website on mail.gnu.org <http://mail.gnu.org/> before.
[12:08am] bostanxhiu <member:bostanxhiu> hat den Chatroom verlassen. (Ping timeout: 244 seconds)
[12:11am] blackout69 <member:blackout69> hat den Chatroom betreten.
[12:11am] Haaninjo <member:Haaninjo> hat den Chatroom verlassen. (Quit: Ex-Chat)
[12:13am] mattl <member:mattl>: iooi <member:iooi>: what was your request?
[12:16am] roesyyu <member:roesyyu> hat den Chatroom verlassen. (Ping timeout: 245 seconds)
[12:17am] iooi <member:iooi>: I didn’t know I had a wrong link and wanted the interface for discuss-gnustep to be availalble again. That was my request, you gave me the right link (host corrected) which works. Thanks for that! I am gonna tell the gnustep website maintainer that there are wrong links at the website. Thanks again!




Now I want to fix this. Where do I find the sources for our website?


Kind regards,

	Lars