Comment by antoineMoPa

I had just posted a link to an issue in github and when I tried to click it to see if it worked, I was wondering if I did anything wrong. Github has so much activity that many people could be thinking the same right now.

I also guess hundreds of persons are wondering if the commit they just pushed killed github's servers.