新的 repo tool

由於八月底發生 kernel.org 被 hacked 的事件，導致 kernel.org 底下的服務全面停擺，包括 Google 的 Android git server android.git.kernel.org，至今仍未恢復。當然也導致目前無法下載最新的 Android source code。

Android-x86 的 source tree 仍依賴於 android.git.kernel.org。我們只把針對 x86 修改的部分放在我們的 git server 上，未修改的部分仍指向 android.git.kernel.org。因此 kernel.org 的事件也影響到 Android-x86 source code 的下載。另一方面，我們在 SourceForge 的 mirror 有完整的 git repositories，然而取得 source tree 必須的工具 repo 仍須從 android.git.kernel.org 取得，因此還是無法使用。

所幸 Google 最近把 repo 的 git repository 移到新的 Google code git service 上。只要下載 repo-1.12 script：

$ curl http://git-repo.googlecode.com/files/repo-1.12 > repo
$ chmod +x repo

把新的 repo script 放進 PATH 中，再抓 SourceForge mirror 即可：

$ repo init -u git://android-x86.git.sf.net/gitroot/android-x86/manifest.git -b gingerbread-x86

不過你手邊若已經有先前抓過 Android-x86 source，但卻無法 repo sync。這是因為每次跑 repo 時都會去檢查是否有更新的緣故。只要加上 --no-repo-verify 的參數，讓 repo 略過檢查即可。例如

$ repo sync --no-repo-verify frameworks/base