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.
It’s actually already mirrored to Codeberg
My mistake! I swear that I did check before I posted this! I must’ve improperly searched for it, or somehting, because I really don’t remember seeing it when I looked.
it seems the devs haven’t pushed the changes for a couple of months.
Indeed, that seems to be the case. I wonder why?
EDIT (2024-01-19T00:45):
I think that I found what I did “wrong”, initially: I searched for “Lemmy” under “Repositories” on Codeberg (which didn’t display the Lemmy repos), where I should’ve searched under “Organizations”. Personally, I feel that this is a bit of a UX issue on Codebergs end; the main search should be a fuzzy search with options to fliter afterwards.
