top | item 46947085

(no title)

thesmart | 21 days ago

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.

discuss

order

munk-a|21 days ago

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|21 days ago

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.

kgwxd|21 days ago

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.

small_model|21 days ago

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

_flux|21 days ago

Making it even easier to snipe accidentally committed credentials?