GSRD 15 linux kernel checkout from git

Hallo,

I am experimenting with the GSRD 15.0, and I’ve been following the instructions on this page:

When I boot the system, I can see the linux version printed to my putty console, which is:

3.10.31-ltsi-05151-gc8b20a4

My question is: How do I find this EXACT kernel in the git repository? After cloning the repo with the command, “git clone https://github.com/altera-opensource/linux-socfpga”, and executing a “git tag -l rel*” command, I see a whole bunch of 3.10 kernels, but which one is the one that matches up exactly with the kernel in GSRD 15.0 (link above)?

I would be grateful if someone can help me, thanks…