hal.science uses GitHub and HSTS | TechLeads