Community
Participate
Working Groups
We're going to need REST API for git push (pushing changes to a remote repository).
We should be able to push tags as well (--tags option).
Pushing content of HEAD to given remote branch ("git push origin HEAD:master") can be now accomplished[1] by POSTing on the remote branch URI with PushSrcRef[2] = HEAD in request body. Leaving the bug open to add more tests and support for pushing tags. [1] http://git.eclipse.org/c/e4/org.eclipse.orion.server.git/commit/?id=2eaff1f5b4040f868f71f8d10105e04a1204b56e [2] org.eclipse.orion.server.git.GitConstants.KEY_PUSH_SRC_REF
There is an issue with the current shape of it. When there are changes in the remote tracking branch to merge, doing Git Push will return 200, however the operation fails. Tomasz, you said there is a separate bug for it, could you link it to the bug? We should fix it ASAP.
(In reply to comment #3) > There is an issue with the current shape of it. When there are changes in the > remote tracking branch to merge, doing Git Push will return 200, however the > operation fails. Tomasz, you said there is a separate bug for it, could you link > it to the bug? It was bug 343153.
(In reply to comment #2) > Leaving the bug open to add more tests Filed bug 343496, most probably not for 0.2M7. > and support for pushing tags. Fixed with http://git.eclipse.org/c/e4/org.eclipse.orion.server.git/commit/?id=bab16d9960f9667d81b12f8e62d59d4ede5db6a6. Use org.eclipse.orion.server.git.GitConstants.KEY_PUSH_TAGS set to "true".