怎么把本地修改的.repo/manifests/default.xml文件提交到服务器上去？

Question

怎么把本地修改的.repo/manifests/default.xml文件提交到服务器上去？我现在吧default.xml文件中的下面的字段该了，
 8   <remote  name="abc"
  9            review="http://192.168.25.222/gerrit2/"
 10            fetch="ssh://192.168.25.222:29418/pxa" />
 11   <default revision="abc-froyo"
 12            remote="abc" />还有删除了些PROJECTS，相吧它提交到服务器上去，但是不能使用REPO UPLOAD ，好像使用GIT PUSH但是不知到具体怎么操作，谁知道望给出详细操作步骤？

Answer 1

git add 文件
git commit -m "说明信息"
git push sl HEAD

Answer 2

修改default.xml后，git add --all
git commit -m "change default.xml"git push --all出错如下：：![remote rejected] default -> default (prohibited by Gerrit)