Subject: Temporary -rcu tree location

From: "Paul E. McKenney" <[email-masked]>
Date: Mon, 12 Sep 2011 17:01:07 -0700

Hello, Stephen,

Could you please make the -next tree pull from branch next.2011.09.12a
of https://github.com/paulmckrcu/linux while kernel.org is down?

							Thanx, Paul

PS.  If someone knows how to make github delete a branch, please let me
     know, as this would allow me to use the "rcu/next" nomenclature.
     Yes, it is probably obvious, but I am new to github...