Stanislas đŸ‘šâ€đŸ’» (elefantinho) is a user on mstdn.io. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

@angristan And so history claims another giant

PS: the number of people that moved out of GitHub is ridiculous

@angristan I think most people can’t easily move out of GitHub.
For example, I can’t drop my account yet because most of the software I’m packaging in is using it, sometimes exclusively.

@angristan No number is mentioned so this information is worthless.

But if they just divided the number of quitters by the number of accounts they announce, yes, they will find a very small number. This is because, in ANY social network, the vast majority of accounts is dead (people who tried once, bots, etc).

@angristan Nat is so cute omg I'd rather give him my freedom than see him sad

@angristan He could commit a CSV at least to show his sadness.

@angristan Those of us considering this seriously haven't had time to make a choice and set a plan in motion. Expect this number to go up as bigger projects and organizations reach a decision. The acquisition was announced 5 days ago...

@remram44 @angristan Also all of us who were using github were still compromising on the ideals of free software. It'll take a while before we start to see if they'll start to push more difficult compromises on us.

@alienghic @angristan I personally recognize that GitLab has become the better product (free private repos, integrated CI, group boards, self-hostable). I am mostly using GitHub for legacy (and publicity) reasons. We'll see if Microsoft gets GitHub out of feature stagnation...

@remram44 @angristan Another thing that might happen is more people will use GitHub as a glorified off-site backup, instead of using it as their primary mode of social coding engagement. (vis-a-vis the Linux source repositories on GitHub. They exist, and you can follow them, but submitting PRs against them is fruitless.)

@angristan EVERYTHING IS FINE, RETURN TO YOUR HOMES

@angristan I wondered if GitLab was so small they would have trouble scaling up after so many developers moved to them but it's barely noticeable by GitHub. There are also probably a decent number of developers who left their repos on GitHub but still moved stuff to GitLab or somewhere else.

@angristan De toute façon, GitLab piĂč Bitbucket sont aussi centralisĂ©s, le problĂšme est le mĂȘme.
Et qu'on ne me parle pas de GilLab en self-hosted, personne ne fait ça!
La seule vraie solution serait une plateforme centralisée gérée par une association libre sans but lucratif

@chindit @angristan

ou une fédération nan ? genre au moins quand t'es pas content tu t'en vas autre part mais ça marche toujours.

@xenthreaded @angristan C'est quand mĂȘme plus simple d'avoir un endroit centralisĂ© je trouve. C'est pratique quand tu cherches un projet par exemple. Mais pourquoi pas finalement.

@chindit @angristan
(je suis pas assez calĂ© pour ĂȘtre sĂ»r de ce que je raconte)

Ouais je suppose que la recherche ça complique le problÚme mais dois bien y avoir des solutions, genre comme des tables de routages.

On arrive bien Ă  trouver des gens sur le fediverse sans devoir tout le temps mettre leur instance.

Tout ça pour dire que mĂȘme avec les meilleurs intentions du monde, l'idĂ©e de tout foutre au mĂȘme endroit m'a pas l'air ouf

@angristan The marketing speak here is painful, and I don't think Github has a terribly good handle on how many users have actually left Github for other Git hosting solutions

Is an account that hasn't seen a commit, login, or any usage in months or years still an active Github user? I think not.

I'm just waiting for Github to embrace what Teams and Skype have done, with broken or non-working webpages served to non-Edge browsers unless they send an Edge useragent (in which case everything works fine).