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
Hello from the other side
No due date set.
This issue currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?