First patch questions (target mailing list, target tree)

[Wojciech Kudla]

Hi,

I'd like to send a patch to arch/x86/kernel/smp.c but I'm not sure about 
2 details:

1) which branch of whose tree do I crate the patch against?
According to MAINTAINERS:

M:      Thomas Gleixner <tglx at linutronix.de>
M:      Ingo Molnar <mingo at redhat.com>
R:      "H. Peter Anvin" <hpa at zytor.com>
M:      x86 at kernel.org
L:      linux-kernel at vger.kernel.org
T:      git git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git 
x86/core

Is this the right branch and the correct tree?

2) how do I access archives of x86 at kernel.org?

Thanks!