Re: Please redirect http://planet.gnu.org/ to https://planet.gnu.org/ (https)

[Jose E. Marchesi]

Hi David.

> http://planet.gnu.org/  still doesn't redirect
> tohttps://planet.gnu.org/

Thanks for reminding us.  I just asked the sysadmins.
Will let you know when they come back.


>
> On 2018-03-13 19:30, Sylvain wrote:
>> I answered you 12 Mar 2018 20:10:06 +0100 directly and with planet@ in
>> Cc:.  I also received my own answer.
>>
>> If you didn't receive my mail nor can send mail to planet@, then
>> there's a problem on your side.
>>
>> - Sylvain
>>
>> On Tue, Mar 13, 2018 at 12:56:38PM +0100, David Hedlund wrote:
>>> I tried to email this toplanet@gnu.org  <mailto:planet@gnu.org>  (the mail i
>>> listed on the main page ofhttp://planet.gnu.org/):
>>>
>>>      Can you please redirecthttp://planet.gnu.org/  
>>> tohttps://planet.gnu.org/
>>> (https)?
>>>
>>> But I got a "Mail delivery failed: returning message to sender" in return.
>>>
>>> Can you investigateplanet@gnu.org  <mailto:planet@gnu.org>?
>>>
>>> On 2018-03-12 20:10,beuc@gnu.org  wrote:
>>>> Hi,
>>>>
>>>> On Mon, Mar 12, 2018 at 01:06:31PM +0100,public@beloved.name  wrote:
>>>>> Can you please redirecthttp://planet.gnu.org/  tohttps://planet.gnu.org/
>>>>> (https)?
>>>> I thought about this (and HSTS), but I added a TLS certificate (using
>>>> Let's Encrypt) only a couple days ago and I don't know yet how this
>>>> will work out in the long run.
>>>>
>>>> In addition I just took over the service and have little information
>>>> on how much (automated) things this would break.  Plus there's no
>>>> credential information that one would disclose on planet.gnu.org by
>>>> mistake, so redirecting to https is not critical.
>>>>
>>>> TL;DR: maybe later.
>>>>
>>>> Cheers!
>>>> Beuc