Happen to me once too. Here is what you have to do:
Set a pattern unlock with a backup PIN.
Lock the phone
Mess up the pattern a few times
It will now offer you to unlock it with the PIN
Enter the backup PIN
The phone unlocks and...
Search on play store "gltools", but the app is paid. If you download a apk version from the internet it will not let you into the app, saying when you need to install the module: "Pirate, pirate, pirate" everywhere instead of some codes
Xiaomi.EU maintains a pretty accurate spreadsheet of codenames and romnames. (keep in mind tho, that this is based on the Chinese beta roms)
Based on this, whyred has the romname of HMNote5Pro and it's called Redm...