1 points par GN⁺ 2026-02-19 | 2 commentaires | Partager sur WhatsApp
  • Le projet Gentoo établit une présence officielle sur la plateforme Codeberg, ouvrant une nouvelle voie de contribution en dehors de GitHub
  • Il est possible de contribuer au code via le miroir du dépôt Gentoo sur Codeberg, et d'autres dépôts devraient être ajoutés à l'avenir sous l'organisation Codeberg
  • Cette décision s'inscrit dans le cadre d'un processus de migration des miroirs pour s'éloigner progressivement de GitHub, un plan déjà mentionné dans le rapport de fin d'année 2025
  • Codeberg est une plateforme à but non lucratif basée sur Forgejo, située à Berlin, en Allemagne, et exploitée selon un modèle centré sur la communauté
  • Gentoo continue de maintenir ses propres dépôts en auto-hébergement, tout en utilisant Codeberg comme miroir complémentaire pour faciliter les contributions

Arrivée de Gentoo sur Codeberg

  • Gentoo a créé une organisation officielle sur Codeberg et propose un miroir destiné aux contributions via le dépôt gentoo/gentoo
    • Comme pour le miroir GitHub, l'objectif est de faciliter les contributions
    • Gentoo continue toutefois d'héberger directement son dépôt officiel sur ses propres serveurs
  • À l'avenir, d'autres dépôts git devraient être ajoutés sous l'organisation Gentoo
  • Cette évolution fait partie d'un processus de sortie progressive de GitHub, déjà évoqué dans la revue de fin d'année 2025

Caractéristiques de la plateforme Codeberg

  • Codeberg est une plateforme construite sur le logiciel Forgejo
  • Elle est gérée par une organisation à but non lucratif et est basée à Berlin, en Allemagne
  • À travers cette plateforme, Gentoo renforce un environnement de collaboration open source centré sur la communauté

Comment soumettre une pull request sur Codeberg

  • Sur Codeberg, il est recommandé d'utiliser la méthode AGit
    • Cette méthode est plus efficace en matière d'espace de stockage et évite de devoir conserver un fork séparé sur un compte personnel
  • La procédure de configuration est la suivante
    • git clone git@git.gentoo.org:repo/gentoo.git
    • cd gentoo
    • git remote add codeberg ssh://git@codeberg.org/gentoo/gentoo
    • git checkout -b my-new-fixes
  • Pour créer une PR, utilisez la commande suivante
    • git push codeberg HEAD:refs/for/master -o topic="$title"
    • Si vous poussez d'autres commits avec le même topic, la PR est automatiquement mise à jour
    • Si un force push est nécessaire après modification des commits, ajoutez l'option -o force-push=true
  • La documentation associée est disponible sur la page Codeberg Pull Requests du wiki Gentoo

Contact et informations complémentaires

  • Les questions ou remarques peuvent être transmises via la page Contact de Gentoo
  • Gentoo poursuit son exploitation de ce miroir Codeberg dans le but d'améliorer l'accessibilité pour les contributeurs et l'efficacité de la collaboration

2 commentaires

 
GN⁺ 2026-02-19
Avis Hacker News
  • Je me demande si c’est le moment où les départs de GitHub vont devenir plus fréquents
    Avant, la principale raison était que les développeurs étaient regroupés sur GitHub. Mais avec l’imposition de fonctionnalités comme Copilot, les changements de tarification d’Actions, etc., les avantages de la centralisation diminuent. Je suis curieux de voir ce qu’il adviendra de Gentoo. C’est peut-être un cas isolé, mais j’entends de plus en plus souvent parler de ce type de mouvement

    • J’espère qu’on arrivera à une collaboration distribuée avec des choses comme le federated forking et les federated pull requests. Un monde où l’emplacement du dépôt n’a plus vraiment d’importance
    • Le projet que j’utilise le plus souvent est sur Codeberg. C’est une liste de filtres qui masque les fonctions sociales, l’upsell, la promotion de Copilot de Microsoft GitHub. Je l’utilise temporairement en attendant que davantage de projets migrent
    • Arch Linux, Debian, Fedora et d’autres utilisent déjà depuis longtemps leur propre instance GitLab ou leur propre infrastructure. C’était presque plus surprenant que Gentoo utilise GitHub
    • J’aime bien le point de vue de @mitchellh. Selon lui, « GitHub était la solution de 2010 ». Une nouvelle forge ne devrait pas ressembler à GitHub. Par exemple, une navigation sémantique du code comme browse-code-by-meaning devrait être la base
    • Je pense que la visualisation du réseau de forks est importante. On devrait pouvoir voir d’un coup d’œil la relation entre l’original et ses forks, quels forks sont actifs, quelles modifications sont uniques, etc. La recherche de code peut se faire avec Google, mais la recherche dans le code reste encore un point fort propre à GitHub
  • Sur GitHub, il est devenu presque impossible de faire de grosses revues de PR. Le chargement des pages est lent et l’UI s’est complexifiée, au point que c’est bien plus inconfortable qu’il y a 10 ans

    • Je me demande s’il existe de bons outils de revue de code. Gerrit était, sur le principe, le plus cohérent. Mais sa maintenance semble presque à l’arrêt
    • Plus que la vitesse, le problème est la fiabilité du système. Il m’est déjà arrivé de mal juger une PR parce qu’une portion de code repliée ne s’affichait pas pendant la revue. Quand ce genre de bug survient, la confiance s’effrite
    • Sur GitHub, on ne peut pas commenter au niveau du commit, seulement au niveau de la PR entière. C’est une structure pensée en supposant le squash merge, ce qui n’est pas très rationnel du point de vue des développeurs. Gerrit permet même de relire les messages de commit
    • Petite astuce : en ajoutant .patch à la fin de l’URL d’une PR, on peut récupérer un patch git. curl <github patch> | git am permet ensuite de faire une revue en local
    • GitHub appelle ça une « UI améliorée pour la revue de grosses PR », mais on dirait que c’est conçu par un designer qui n’a jamais écrit de code
  • Codeberg fonctionne sur un modèle financé par les dons, donc je m’inquiète de sa capacité à tenir l’infrastructure si de gros projets affluent
    Lien vers la discussion associée

    • Codeberg n’a pas les financements de Microsoft, donc si vous l’utilisez, il faut absolument le soutenir par des dons
  • J’étais habitué au workflow Gerrit, mais j’ai récemment découvert AGit
    L’original a disparu, mais on peut le consulter dans les archives.
    Il y a aussi git-repo-go d’Alibaba. L’amélioration par rapport à Gerrit, c’est qu’on peut utiliser un jeton de session au lieu de ChangeId

    • Je préfère toujours le workflow Gerrit. Surtout qu’une intégration avec Jujutsu est en préparation, ce qui me rend d’autant plus impatient
      Lien vers le document de conception
  • Ce n’est que le début
    Steam a prouvé que le jeu vidéo ne dépendait pas de Windows, l’Europe est en train de passer à Linux, LibreOffice menace Microsoft 365, et le rachat de GitHub par Microsoft ainsi que l’imposition de l’IA créent une nouvelle vague de départs. Si de grands projets open source bougent, beaucoup suivront

    • Dire que LibreOffice remplace Microsoft 365 est exagéré. En réalité, c’est surtout Google Docs qui occupe l’essentiel du marché. LibreOffice est excellent, mais dans les faits, Google et Microsoft détiennent plus de 95 % du marché
    • L’une des raisons pour lesquelles des pays européens migrent vers Linux est le risque de sanctions américaines. Si des comptes Microsoft ou Google sont bloqués, l’activité des administrations publiques peut être paralysée
    • Microsoft 365 reste une infrastructure centrale pour le fonctionnement des organisations, donc il est difficile pour LibreOffice de prendre cette place
    • Copilot est maintenant en train de dévorer jusqu’à la marque Office
  • Ce que Gentoo a montré, c’est le symbole du « Great Uncoupling ». Une dynamique de sortie de la culture unique de l’Internet

    • En réalité, Gentoo maintenait déjà son propre hébergement depuis longtemps. GitHub n’était qu’un miroir destiné à faciliter les contributions.
      D’après la revue de fin d’année, le miroir a été déplacé vers Codeberg à cause de la tentative d’imposer Copilot.
      Autrement dit, Gentoo conservait déjà depuis longtemps une structure indépendante
  • Moi aussi, j’ai commencé à utiliser Codeberg pour contribuer à Gentoo. L’UX est rapide, mais la vitesse des commandes git est lente. Et les fonctions de CI ne sont pas aussi complètes que GitHub Actions

    • Mais récemment, il paraît que pkgcheck CI fonctionne complètement. Il est donc désormais possible de contribuer aussi sur Codeberg
  • Codeberg est mon service d’hébergement Git préféré. C’est ce que GitHub aurait dû être à l’origine.
    Je mets en miroir la plupart de mes projets sur Codeberg, et j’ai l’intention d’en faire un jour ma plateforme principale.
    Grâce à la page de dons, on peut rester un « utilisateur, pas un produit »

  • Malgré toutes les critiques adressées à GitHub, sa recherche de code à l’échelle d’une organisation reste vraiment excellente.
    Même quand la documentation est obsolète ou incomplète, cela permet de retrouver rapidement l’implémentation d’autres équipes

    • La recherche unifiée (issues/PRs/code) et le backend personnalisé fonctionnent bien.
      Les critiques contre GitHub donnent parfois aujourd’hui l’impression d’être une sorte de mode. GH Actions et Copilot ont énormément progressé ces 8 dernières années
    • Je me demande si cette fonctionnalité est vraiment propre à GitHub
  • Au fond, comme tout le monde le sait, avec la pression de la génération de code par IA, GitHub est condamné à se dégrader à grande échelle (enshittification).
    Des projets comme Gentoo se préparent simplement à l’avance