Skip to main content


I believe we’re at the Extinguish step of the Embrace-Extend-Extinguish plan of #Microsoft acquiring #GitHub .

An open source developer pushed an update removing all functionality and deleted their project from GitHub (going so far as to use git push --force to purge the Git commit tree).

GitHub and Microsoft used this library internally so they reversed the changes and banned them from GitHub for deleting their project.

The issue here is GitHub said you are not allowed to delete your project.

https://twitter.com/marak/status/1479200803948830724

Scifijunkie reshared this.

And still nobody moves away from Github...
It is now clear that nobody of any significance to GitHub and/or Microsoft can actually move their repo away. They can stop contributing to the GitHub repos, either voluntarily or involuntarily, but they have no actual ownership if it would be inconvenient for the platform owners.
I run my own Gitea server but have deleted the few repos of mine that remain on GitHub.