Currently, the Lemmy Project only uses Github for its repositories related to Lemmy’s development (e.g. Lemmy, Lemmy-UI). GitHub is a proprietary service, and it is owned by Microsoft. These facts open the door for a myriad of potential issues across the ecosystem, and community. I would like to clarify, though, that I don’t think that it would be a wise decision, currently, to remove Github as the primary location for development, but I would think that it would be a good move to mirror Lemmy’s repositories to a FOSS service (e.g. Codeberg). I personally would advocate for the use of Codeberg, as it is entirely open source, and non-profit, and they are currently working on implementing federation (through ActivityPub) – all these things, I think, align well with Lemmy’s role in the wider community, and its more general philosophy. In the future, I would ideally hope for a permanent move to such a service, but, in the meantime, I think it would, at the very least, be a wise, if not only benevolent, move.
I decided to post this here, as I felt that it didn't seem appropriate to post it as an issue in any of the Lemmy repos.
This is why I mentioned in my post that, as it currently stands, I didn't think that it would be a wise idea to completely switch away from GitHub in favor of something like Codeberg.