Serve package index over HTTPS

[VictorTagayun]

Why is the board manager http://arduino.esp8266.com/stable/package_esp8266com_index.json not in https like ESP32 https://dl.espressif.com/dl/package_esp32_index.json ?
I cannot load ESP8266 in our work office, thus I need to hotspot my mobile to connect and download everytime the json file.

[igrr]

Switching to HTTPS for the package download is something we will be looking into before the next release, thanks for bringing this up.

[VictorTagayun]

Short term I am using github https://github.com/esp8266/Arduino/releases/download/2.4.2/package_esp8266com_index.json
Thanks for considering this.

[devyte]

Release 2.5.0-beta1 is out, in case you want to use that json instead.

[VictorTagayun]

Thanks for the offer.
Ill wait for the final release.

[devyte]

I should rephrase: ... in case you want to try it out and provide feedback :)

[devyte]

@igrr has there been any progress?

[igrr]

@devyte Some progress — I have created a repo, but don't have a domain name at esp8266.com yet. Will ping the owner (Espressif) again.

[devyte]

@igrr due date for 2.5.0 was yesterday. I assume this still needs more time and should be pushed back?