http://android.git.linaro.org/git-ro is out of sync with the actual git tree