How do you install postmarketos on a Xiaomi Redmi 4A?

Hello, Im very new to this world so excuse me if its a dumb question, I tried to install postmarketos on my Xiaomi Redmi 4A but when I use the pmbootstrap init command I can't see any xiaomi-rolex even though in the postmarketos wiki says it's supported so I tried to download the xiaomi-rolex port manually but Im clearly not experienced enough to do it because when I use the install command it gives me an error. Im very desperate so if anyone knows how to install postmarketos on a Redmi 4A I would be very grateful. P.S. Im very sorry for my old username, I didn't know that I had that as my username, the account wasn't mine, I apologize.