Switching to Codeberg?

[Free-Pascal-meets-SDL-Website]

Should we consider switching to https://codeberg.org/ because of better philosophy?

@suve @AthenaOfDelphi

[suve]

We don't have to choose between one or the other - we can have a repository both on Codeberg and here on GitHub.

[Free-Pascal-meets-SDL-Website]

So, you are talking about setting up a mirror on codeberg, right?

[suve]

You can push to two remotes manually, but yeah, I guess it would be more efficient to have some kind of auto-sync mechanism between the two. Ideally this could work both ways, so that people could submit PRs on both Codeberg and GitHub.

As for our, uh, internal-but-public communication, I'm actually +1 for making Codeberg the main channel.