Hacker News Reader

A takedown of a GitHub repository also takes down forks. Therefore it wasn't a GitHub-actioned DMCA takedown.

That's not necessarily the case. Last month yowsup was taken down due to a dmca complaint by WhatsApp, but my fork of it was still up.