esto lo lei hace tiempo
https://andro4all.com/2019/08/lineag...id-pie-samsung
la gente de Lineage también ha anunciado que, de forma temporal, las ROMs de Xiaomi han sido eliminadas debido a un problema con GitHub, por lo que de momento tendrás que esperar para descargarlas.