We will try a full migration to codeberg.org on 10th December 2019 in three days.
Technically GitHub has been a mirror for quite some while for wiki and repository, but the main interaction happened still here since Issues and PRs were hard to migrate (lock-in effect)
So What will happen on 2019-12-10
- GitHub repo will be archived to prevent creation of new issues/PRs
- We will try a full migration to a private repo on codeberg and see if everything worked
- On success we will make the new codeberg repo public and announce the move in README.md, on failure we will unarchive the GitHub and try some weeks later.