No, Redmi 7 (onclite) and Redmi 7A (pine) are totally different, as you can see in the board name.
It seems that Redmi 7 ROM is skipped. So sad.
But it seems that you can search "HM7" on the ROM file list, and you will find some, maybe those are the correct ROMs for Redmi 7, I am not so sure...