What is the correct combination for dowloading UEI source code of r35.5!?

[FrankPCP]

Hi All,
I would like to download the UEI source code for r35.5 but couldn’t find the appropriate combinations.
I only see the r35.4.1 branch name in link below.
Should I use r35.4.1 for downloading the UEFI source code !?

Combos

[KevinFFF]

Hi FrankPCP,

Please use the following 2 branch for R35.5.0. (Jetpack 5.1.3)