How to get device name like whyred für Xiaomi Redmi Note 5?
For simplicity, you can either find the device codename from the official Xiaomi forum (which I believe is constantly updated). You can also use a third-party tool Device ID to get your device codename: