git.rtems.org LetsEncrypt TLS certificate expired

[Chris Johns]

On 15/8/18 11:19 pm, Amaan Cheval wrote:
> FYI: https://docs.rtems.org has an expired certificate too.
> 
> On Wed, Aug 15, 2018 at 3:30 PM, Amaan Cheval <amaan.cheval at gmail.com> wrote:
>> The HTTPS certificate for https://git.rtems.org has expired (~15
>> minutes ago). Are the auto-renewal scripts failing?

Thank you for the notice. Amar has resolved this issue.

Chris