Can we please demand that Github provide mirror APIs to competitors? We're just asking for an extinction-level event. "Oops, our AI deleted the world's open source."

Any public source code hosting service should be able to subscribe to public repo changes. It belongs to the authors, not to Microsoft.

▲

munk-a 7 hours ago | parent | next [-]

The history of tickets and PRs would be a major loss - but a beauty of git is that if at least one dev has the repo checked out then you can easily rehost the code history.

	▲	1313ed01 6 hours ago \| parent [-]
		It would be nice to have some sort of widespread standard for doing issue tracking, reviews, and CI in the repo, synced with the repo to all its clones (and fully from version-managed text-files and scripts) rather than in external, centralized, web tools.

▲

small_model 7 hours ago | parent | prev | next [-]

Every repo usually has at least one local copy somewhere, worst would be few old repos disappear.

▲

_flux 7 hours ago | parent | prev | next [-]

Making it even easier to snipe accidentally committed credentials?

▲

kgwxd 7 hours ago | parent | prev [-]

No, we can't. Hence Git. Use it the right way, or prepare for the fallout. Anyone looking for a good way to prepare for that, I suggest Git.