GitHub Is Having Issues

I assume these are the "famous" AI productivity gains they all talked about =)

had to wait for two minutes just to refresh the PR page. their UI was always a bit clanky, this new wave of "AI productivity" is just making it worse.