Where can I find the git repo that contains the kernel sources for the Pandaboard 13.09 Ubuntu image?

The Linaro wiki mentions the kernel/linux-linaro-3.1.git repo:

I didn't see a kernel/linux-linaro-3.11.git repo, so I'm guessing kernel/linux-linaro-stable.git is the repo I want?

To reconstruct the .config that was used to build the kernel, I suppose I should 'cat debug.conf linaro-base.conf omap4.conf panda.conf ubuntu-minimal.conf'?

Thanks for your help.

 

Best,

Arun