[Finishes #83890140] push_to_prod uses most recent build number instead of highest build number

Signed-off-by: Frank Kotsianas <frankkotsianas@gmail.com>