Is Grav down right now?

I wanted to install a plugin via the admin panel and when I click on the ‘Ádd’ plugins button it doesn’t load anything but just shows a message saying “The connection to the GPM cannot be established.” I tried loading up getgrav.org then and it looks like the website is down too.

Also, checked at https://www.isitdownrightnow.com/getgrav.org.html and it indeed looks like Grav is down. Any idea when it will be back up?

It was, briefly, but it should be back now.