Getting Espresif ESP 32 into board Manager

Check this post ESP32 package download keeps timing out