Re: Mirroring on Codeberg and Github, and groups

Orm Finnendahl <[email protected]> Mon, 22 Jun 2026 16:06:34 +0200
Newsgroups gmane.lisp.common-lisp-net.devel
Organization Hochschule fü r Musik und Darstellende Kunst Frankfurt, Frankfurt, Germany
Message-ID <ajlBaqYs8DeCYUfo@t14s-amd7>
Hi,

Am Montag, den 22. Juni 2026 um 13:33:22 Uhr (+0200) schrieb Marco Antoniotti:
> Hi
> 
> Has anybody done this in a simple (*) way?

 I don't know what is considered "simple" around the net, but last
November I moved 85 repos from Github to Codeberg. As I wanted to have
a "This repository has moved!" message in the Readme on github, I
ended up writing a small script, adding/committing the changed README
on github and set the repo there to readonly.

I used another script to reset the remote url of all repositories on
my local machines to the new codeberg urls and it went quite
smoothly. It was probably most of a weekend until I had it all figured
out and done, but for me that was ok.

Here is an example of the README message:

https://github.com/ormf/clamps

--
Orm