Comment by laurmaedje

It seems to have started slowly. For me, Github releases have failed to serve requests for hours already.