That was a warning light for me, yet I still thought it was coming from github. Well, it seems it does not come from github. Bad behavior.

Edit: Now, that I think of it, copy was a second red light, yet I still thought it was coming from github. It only shows how good a perception github as a company has.