Deze verhuizing kan natuurlijk op allerhande manieren irritant zijn. Omdat Forgejo (wat door Codeberg gebruikt wordt) anders werkt dan GitHub, maar ook omdat je overal handmatig URL’s moet aanpassen omdat GitHub vendor lock-in probeert door geen redirects te ondersteunen.
Om de remote van een repository te veranderen naar de nieuwe URL, kun je bijv. dit doen:
cd revbank
git remote set-url origin https://codeberg.org/revspace/revbank
git pull
vervang daarbij revbank door de naam van het repository. Als je de remote een andere naam had gegeven dan de gangbare naam origin dan moet je die natuurlijk ook aanpassen (zie git remote voor een lijst).
Als je zelf gebruik wilt blijven maken van GitHub’s diensten, dan kun je een repository natuurlijk forken en onder je eigen account daar blijven gebruiken, voor zover compatible met de licentie in kwestie. (Ik vermoed dat het mag met alle repo’s maar ik heb het niet gecheckt.)
Voor CI heeft Forgejo/Codeberg ook een ingebouwd CI systeem dat een 1:1 replica is van dat van GitHub. Om dit te gebruiken moet je, als ik het mij goed herinner, alleen “Actions” in te schakelen in de repo settings en de runs-on veranderen naar codeberg-tiny.
Member van de RevSpace organisatie bij Codeberg? Even je username doorgeven aan @Shiz of een bestuurslid.
Member van de vereniging Codeberg e.V.? Via Join Codeberg e. V. Het verwerken van de aanvraag duurt wel een week want ze hebben een backlog van meer dan 100 aanvragen. (Maak die backlog groter :D)
Because of how we reach decisions like this, we can’t say that any reason or principle is the opinion of the board or the foundation. A proposal was made to migrate from GitHub to Codeberg and it quickly got three votes from board members, which is enough to reach a decision. We haven’t discussed the reasons for moving much, and it’s possible that the actual principles underlying the votes are different for the respective board members.
But I can give you my personal opinions. Moving away from GitHub, which is owned by Microsoft, fits well with a larger move away from “Big Tech” and also a move away from depending on companies from the United States, two things that I think are becoming increasingly important in the current geopolitical climate.
When the link about the statement “Embrace AI or get out” from GitHub’s CEO was shared on IRC, that was enough to for me to vote in favor of the proposal even if it meant losing some functionality or even disruption of availability. If it hadn’t been for this specific bullshit, I would have wanted to see a more well-developed action plan before voting, but it seems like GitHub is going to be a very unpleasant place very quickly and I wouldn’t want to see RevSpace dragged along. I plan to migrate my own repositories away too.
And why not gitlab?
Alternatives were not considered in the proposal which was formulated simply as “Revspace migreren when?” in response to @Shiz’s personal exodus from GitHub.
For me, GitLab Inc. would not be an appropriate alternative to host our repositories. It is another company from the United States, and https://about.gitlab.com/ boasts the prominent heading “native AI at every step”. I don’t like those things about GitHub and I don’t like them about GitLab. I’m not as broadly against the use of AI as some RevSpace participants, but I do take a stance against being force-fed.
In my opinion, Codeberg aligns very well with the values of RevSpace. It’s a community-driven non-profit organization that specifically caters to free software. In fact, RevSpace has applied to become a supporting member of Codeberg.
Oké, ik was er niet bij, dus ik kan er niet veel over zeggen, behalve mijn nieuwsgierigheid.
Wat mijn 2 cent over AI betreft: het zal niet onverbeterlijk zijn. Net als bij GitHub is de uitdaging om de controle niet over te dragen aan “grote bedrijven” waar je het niet mee eens bent, en toch van de voordelen te genieten.
Dit lijkt me niet helemaal het juiste draadje om deze discussie te proberen te voeren, dus ik zal het kort en bonding houden: “grote bedrijven” is verre van het enige (ethische) probleem met al die AI-meuk, en de resterende problemen zijn niet oplosbaar binnen het concept.
Klopt. Forgejo is een fork van Gitea, en Forgejo is ook de software die Codeberg draait (en beheert, geloof ik?). Ik vermoed dat de voorkeur hier uitgegaan is naar iets wat niet de space-infrastructuur nodig heeft, want dat zou weer iets extra zijn om draaiende te houden, maar dat ook geen techbedrijf is, en dan lijkt Codeberg me best een zinnige optie.
As another of the three votes, my motivation largely aligns with @Juerd’s outline. Github has increasingly enshittified over the years (and it was never that ideal to begin with; forge for all of open source that isn’t even open source itself heh), and I am quite broadly against the use of LLM stuff.
As for where to move to, Codeberg is a well-trusted organization, and the most popular Gitea-ish/Forgejo hosted instance. Until federated forging is developed further we also benefit from their network effect, as quite a few of us already had accounts there.
Personally I can never find what I need in Gitlab’s collapsed sidebar, am not a fan of their push into AI, and we would’ve had to find a non-US managed instance, ideally with existing overlap in userbase too (network effect).
So I’m very happy @shiz proposed the move to Codeberg, and volunteered to do most of the work, thanks!
Klopt, Forgejo FAQ | Forgejo – Beyond coding. We forge. En inderdaad een voorkeur om het niet zelf te moeten draaien/onderhouden voor de space (doe ik zelf ook al voor git.pixie.town). Met onze huidige inrichting qua software/repo’s is dit geen probleem, maar ik heb zelf al eens een kip-ei probleem gehad waarbij het fixen van mijn git-server deels afhankelijk was van code kunnen opvragen van diezelfde (stukke) forgejo instance, dus mooi meegenomen dat we ons daar geen zorgen over hoeven te maken.
Onze inschrijving is geaccepteerd. RevSpace is sinds vandaag ondersteunend lid van Codeberg!
Wie persoonlijk lid wil worden, kan zich vanaf 2 €/maand aanmelden via https://join.codeberg.org/. Als “actief lid” krijg je ook stemrecht; RevSpace is “ondersteunend lid” en heeft dus geen stemrecht.
