Android 10 is here for the Redmi Note 7 Pro. We would recommend holding off for the time being though, as the build will likely contain a few bugs. The first Android 10 build for the Redmi Note 7 Pro comes just a few days after Xiaomi pushed Android 10 to the Redmi Note 8 Pro, too.
https://www.notebookcheck.net/Android-10-hits-the-Xiaomi-Redmi-Note-7-Pro.455318.0.html