I personally think that, it is clear that this is some kind of abuse but unclear if it is actually a violation of Github's Acceptable Use Policies [1] or not, making the incident somewhat more troublesome. Hopefully Github can update the policies to counter this kind of abuse in the future.