https://issues.guix.gnu.org doesn't point to IRC logs

Dear Guix,

The contents of logs.guix.gnu.org differs with the access method used

(HTTP / HTTPS). In case of HTTPS, Cuirass is displayed, and in case of

HTTP, the IRC logs are displayed. This is rather counter-intuitive.

Snippet of relevant #guix IRC logs:

(16:13:36) mdevos: https://logs.guix.gnu.org/and

https://logs.guix.info/point to Cuirass. Is this a known issue?

(16:14:30) civodul: mdevos: not that i know of; could you email that to

bug-guix@gnu.org?

(16:14:55) mdevos: civodul: will do

(16:15:33) civodul: thanks

(16:18:05) nckx: mdevos: Yes, there's no HTTPS support for

logs.guix.gnu.org so it hasn't really ‘mattered’ that there's a missing

server block. It should of course be fixed, thanks for reporting it ?

(16:18:21) nckx: I had to resort to curl -k to see what you mean.

(16:20:25) mdevos: I disabled ‘Encrypt All Sites Eligible’ in HTTPS

Everywhere, and now I can see the logs again

(16:20:45) mdevos: (when using http: URL)

Greetings,

Maxime

Yo

Maxime Devos ???

(Un)fortunately, your report spent so much time in limbo that it's

obsolete: logs.guix is fully cyber-secure by now.

Thanks for taking the time to file a bug. Let me know if you spot

any more of these edge cases.

Closing,

T G-R (nckx)

Maxime Devos ???

This is driving me mad: where did you find this bogus URL?

Kind regards,

T G-R

Tobias Geerinckx-Rice schreef op ma 16-11-2020 om 22:31 [+0100]:

With guesswork. Both issues.guix.info and issues.guix.gnu.org pointed

to the issue tracker, and http://logs.guix.gnu.orgpoints to the IRC

logs, so I guessed http://logs.guix.infowould point to the IRC logs as

well. In case issues.guix.info or issues.guix.info is bogus as well,

the following web searches finds both guix.gnu.org and guix.info:

Greetings,

Maxime