Hi everyone, is GitHub the only source for the Community git repository at the moment, or am I missing something? I prefer to avoid GitHub, and therefore used git.archlinux.org instead. However, this seems to be defunct now, redirecting to gitlab.archlinux.org. However, I can't find any community-related project there. Thanks a lot in advance, LuKaRo