In order to fulfill the basic functions of our service, the user hereby agrees to allow Xiaomi to collect, process and use personal information which shall include but not be limited to written threads, pictures, comments, replies in the Mi Community, and relevant data types listed in Xiaomi's Private Policy. By selecting "Agree", you agree to Xiaomi's Private Policy and Content Policy .
Actually Redmi note 5pro was first launched with Android 7 nougat it was the global version but later on they launched the phone with Android 8 Oreo which was something AI version so it is getting Android pie. But ur right about the 5 pro update.
Guys the link I have given also has info about all the xaiomi whose updates we may see this month but aren't globally launched as they are Chinese ROM which are stable but only released in China. U can find ur device's name and just explore the Chinese ROM updates.