Hello bit maintainers & contributors, would migrating to Codeberg from Github be a possibility? I was a bit reluctant to ask this question because I am not a maintainer, and this decision belongs to the maintainers, that said, I have reported some bugs and feedback via Github's issue in the past - and I am really appreciated the responses and questions from maintainers. I no longer can do so because I deleted my Github account. I am no longer confortable using Github (i.e. a proprietary software running on the servers of a privately owned company). I would be confortable again to report (small) hiccups I see (BiT works really well overall) if the repository was hosted on the server of non-profit, for example Codeberg e.V., running a copyleft-licensed software, e.g. Forgejo. If you are wondering what the migration takes, this https://docs.codeberg.org/advanced/migrating-repos/ documents how to migrate from Github to Codeberg (or any other Gitea/Forgejo instances). There is a feature to migrate Issues ("the migration tool can not only migrate your repository data, but also metadata like issues, labels, wiki, releases, milestones, etc"). Again, I imagine the decision belongs to maintainers. Please take this email as an input to the conversation on whether BiT should migrate away from Github.