Community
Participate
Working Groups
We're going to need REST API for git merge (merging branches).
Fixed with http://git.eclipse.org/c/e4/org.eclipse.orion.server.git/commit/?id=2fba7e5fbb3bc56e97392e9674febc277c2f866b. I will open a separate bug to make the server return a meaningful response with the merge result e.g. Already up-to-date or Conflict occurred.