Hacker News Reader

I presume one wouldn't strip copyright in those cases.

They didn't. The master repository did, they probably weren't aware of the issue.

Thank goodness GitHub doesn't employ the YouTube 3-copyright-strike system. Otherwise there would actually be an issue with this.