A while ago, #LineageOS ceased to support Xiaomi Redmi Note 7 and Xiaomi 5, which our (with @kanako ) daily drivers. The work fine so far, but I am looking for an actively maintained replacement.
We do not want Google in any shape, size, or color in our mobiles, so relevant hints will be highly appreciated. Boosts, too.