more on git remote repository

作 repo 的 local mirror 的時候有點奇怪。
要修改 .repo/manifest.xml

但是用 repo --mirror init/sync 的 repo 目錄，沒有辦法直接修改 (就跟用 git clone --bare 的目錄內容沒有辦法值些修改 source / 找不到 source)。

所以就要 先在其他地方 repo init ，這樣就 'checkout' 出 .repo 。
然後手動修改 .repo/manifest.xml
然後再 repo sync

---

git 要在 remote repository 上 create branch 要用
git push <server-name> <local-branch-name>:<remote-branch-name> 方法是把一個 local 的 branch/commit push 進 remote repository。
所以，這個命令要在某一個 workable 的 git project 下作。