4 Dec
2015
4 Dec
'15
3:18 a.m.
On Fri, Dec 04, 2015 at 11:14:08AM +0800, Alex Shi wrote:
Did you have a git tree for pull?
I have trees ready. I was wondering if I should push to:
git.linaro.org git.davidb.org git.kernel.org
if you have any preferences.
Is linaro.org better?
That probably makes the most sense. I just have to figure out how to push there :-)
David