So hypothetically, if a developer publishes GPL software on Codeberg, and someon...

		201984 on July 9, 2024 \| parent \| context \| favorite \| on: Judge dismisses DMCA copyright claim in GitHub Cop... So hypothetically, if a developer publishes GPL software on Codeberg, and someone uploads it to GitHub, could the original developer file takedowns against the Github copy? I'm curious if Github's ToS make uploading GPL software you don't own a copyright violation.

No, because the GPL is already more permissive than the GitHub TOS.