Who cares if it's a "violation of copyright" ? Copyright has become a set of overbearing corrupt laws bought and paid for by corporations. Sure there are some vestigial bits in there that an individual can kind of use if they do everything exactly right, but the overall dynamic is skewed very hard in favor of corporate control.

Apart from the blatant abuse of the legal system to computationally disenfranchise individuals via the DMCA et al, the main issue here is using centralized websites as watering hole for authoritative development/distribution. It would be understandable if Github were merely a mirror for exposure etc, but that should be the extent of it.