If true than it was not through the normal DMCA process of GitHub that would result in a public[1] take-down notice being filed for transparency.
[1] https://github.com/github/dmca
Reply on news.ycombinator.com