This isn't a takedown notice under DMCA, is the point. There's no safe harbor for this kind of infringement, so Github doesn't avoid any liability by taking it

This isn't a takedown notice under DMCA, is the point. There's no safe harbor for this kind of infringement, so Github doesn't avoid any liability by taking it down after receiving a notice.