Hello Michael,

On Wed, 15 Feb 2012 15:24:32 +0100 Michael Opdenacker michael.opdenacker@linaro.org wrote:

Hi

FYI, There are issues assessing git.linaro.org: http://ask.linaro.org/questions/737/problem-with-linaro-server?page=1#739

I filed an RT ticket about this (number 312).

Well, there're 2 problems intermixed here: flaky Internet connection of one guy (I make this conclusion based on "Unable to look up android.git.linaro.org" which is hard to attribute to android.git.linaro.org itself) and few other guys mixing up git.linaro.org and android.git.linaro.org which are two different servers.

What's worse is that when android.git.linaro.org was split off git.linaro.org, old, stale (now bitrotten) Android code was left on git.linaro.org. I raised concern at the time of migration that it's going to be point of confusion and proposed that we remove/rename it immediately, to catch everyone's attention of the move - it's apparently better to inflict pain of one-time upgrade, than to let people draw themselves into slough of dead code again and again. Well, it didn't catch attention then, maybe it would do now or in few months.

Cheers,

Michael.