I'll take the article with a pinch of salt. There's no indication that github did anything actively here. Github's just missing some abuse reporting functionality here.