Simple solution is to have another remote on github and push there so it’s searchable to others but handle PRs, issues and releases on codeberg. People are not leaving github because there’s some issue with hosting code there. The issue are with the development process.