Eclipse git plug-in egit user manual 7 _ push remote Repository

After cloning the server repository, an identical repository is created locally, called a local repository. The local commit operation will submit the update to the local warehouse. Then, you can merge the Server Update pull to the local warehouse, and finally push the merged Local warehouse to the server, in this way, a remote submission is performed.

Submit it to the local repository once

Then push to the mirror branch on the server, team-> remote-> push

After the push, you can view the record in the log of the server-side mirror image.