Same person different username. Kris95.
I don't know that happened, but it (for A only GSI) wasn't letting me boot past the Google animation, saying phone is locked and then booting back into twrp. Probably because of wrong GSI image, A only.
Android Pie 9.0 GSI On Redmi Note 5 Pro || How To Install || It's Amazing
Okay, WHYRED is my current daily driver, and not prepared to experiment on it yet.
Maybe when reports of stable Pie with working Gcam/Mi A2 ports, xposed etc. I will try it out.