Stream: coq-community devs & users

Topic: Takedown of GitHub repos


view this post on Zulip Karl Palmskog (Oct 27 2020 at 04:40):

Somewhat chilling repo takedown on GitHub: https://freedom.press/news/riaa-github-youtube-dl-journalist-tool/

Could definitely see similar things happen to crypto-related work. Also a reminder that we have to replicate not just Git repos but metadata in several places.

Looks like they also killed all forks in one swoop: https://github.com/github/dmca/blob/master/2020/10/2020-10-23-RIAA.md

view this post on Zulip Anton Trunov (Oct 29 2020 at 11:44):

Can this kind of metadata backup be automated?

view this post on Zulip Karl Palmskog (Oct 29 2020 at 11:50):

see the following issues:

We have repo backup working pretty well, but not metadata, which could however likely piggyback on our existing setup

view this post on Zulip Anton Trunov (Oct 29 2020 at 12:00):

Thanks!


Last updated: Jun 03 2023 at 18:01 UTC