I would think that'd be exactly the sort of thing which is explicitly prohibited from github/lab/etc

It is, but it's like one of those situations where they won't report a thief to the police until he's stolen enough to make it a felony.