Getting 500 Internal Server Error on Github

Is anyone able to open https://github.com/RIOT-OS/RIOT/issues/3355? The stale bot marked it as stale, but any time I open it to see if it can be closed, I get an Internal Server Error. GitHub Status doesn’t report anything out of the ordinary so maybe it is just some weird browser config?

same problem here: Ooops!!! 500. Looks like something went wrong!

GitHub Status tends to underreport issues - there was an event earlier today, might still be the tail end of it.