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?