The device codename is critical.
I think it would be worth finding the device codename for your phone
[HOWTO] Find device codename. Quickest thing is to install AIDA64.
Here I have trawled through the “official list” and listed many similarly named devices.
In making a judgement, this is the /e/ supported device Redmi Note 5 Pro, whyred. From the list below there seems potential for confusion between Marketing name and Model.
When you establish the device codename, you might edit your thread title to include it, as About the Request a Device category.
Retail Marketing Device, Model
Branding, Name,
Xiaomi, Redmi Note 5, whyred, Redmi Note 5
Xiaomi, Redmi Note 5 Pro, whyred, Redmi Note 5
Xiaomi, Redmi Note 5 Pro, whyred, Redmi Note 5 Pro
Xiaomi, Redmi Note 5A, ugg, Redmi Note 5A
Xiaomi, Redmi Note 5A, ugg, Redmi Y1
Xiaomi, Redmi Note 5A, ugglite, Redmi Note 5A
Xiaomi, Redmi 5 Plus, vince, Redmi 5 Plus
Xiaomi, Redmi 5 Plus, vince, Redmi Note 5
Xiaomi, Redmi 5, rosy, Redmi 5
Xiaomi, Redmi 5A, riva, Redmi 5A