Hello everyone. Me and lots of my comrades are interested in upgrading official /e/ ROM for Whyred from Oreo to Pie.
Now device is running 10 unofficially so even Pie is a bit out-of-date for us. But anyway stock MIUI is based on Pie and of course we have lots of successful ROMs (whyred is one of the most popular devices like hammerhead in its time).
Nowadays the most actual LOS-based Pie ROM is unofficial LOS 16: https://sourceforge.net/projects/whyred-los/files/rom/ that is maintained by subhrajyotisen.
XDA link for Whyred ROMs: https://forum.xda-developers.com/redmi-note-5-pro/development
LOS 16 on whyred doesn’t have any issues because it’s similar to MIUI stock base and kernel builds and works “out-of-the-box”.
Dear development team, I’m requesting for building official Pie based ROM of /e/ for Whyred. I want to help in building process and can help you providing necessary links to device tree source, manifest etc.