Post Ax4NrTM3bTJEWeuqMS by mikeTesteLinuxQlub@qlub.social
(DIR) More posts by mikeTesteLinuxQlub@qlub.social
(DIR) Post #Ax4Kmv4AqTKfA3gkIC by bortzmeyer@mastodon.gougere.fr
2025-08-11T18:48:27Z
0 likes, 0 repeats
Tiens, ça me fait penser qu'il existe des gens qui se vantent bien fort d'être sur le fédivers et pas sur « les vilains réseaux sociaux toxiques » mais qui font leur développement logiciel sur Github… https://mastodon.social/@bagder/115011551723865944
(DIR) Post #Ax4L7hLl2OhkhZoyWG by antoinechambertloir@mathstodon.xyz
2025-08-11T18:52:09Z
0 likes, 0 repeats
@bortzmeyer Je suis bien emm... de participer à Lean/mathlib pour mon travail et ça se passe sur github dès qu'on veut faire des pull request.
(DIR) Post #Ax4MA2Ju8sPsGydJwW by bins@mamot.fr
2025-08-11T19:03:48Z
0 likes, 0 repeats
@bortzmeyer alors que migrer vers codeberg, c'est quand même super simple (et l'outil de migration importe vraiment tout : issues, PR, releases, …)(il y a "juste" l'aspect CI - il faut être un peu plus sobre là-dessus, mais ce n'est pas forcément un inconvénient)
(DIR) Post #Ax4NKbIN3lPtb3W7fc by jeanmimi@mamot.fr
2025-08-11T19:16:55Z
0 likes, 0 repeats
@bortzmeyer en même temps ça sert à quoi d’utiliser un outil de développement décentralisé pour centraliser le développement sur Github. À croire que gérer son projet sur redmine sur son serveur c’est plus compliqué que bien coder.
(DIR) Post #Ax4NrTM3bTJEWeuqMS by mikeTesteLinuxQlub@qlub.social
2025-08-11T19:22:49Z
0 likes, 0 repeats
@bortzmeyer Les arroseurs arrosés 🤣