Anyone else having issues connecting to the Ore Repository?
I’m getting
502 Bad Gateway nginx/1.12.1
ahh ok thanks, where was that notification?