Community
Participate
Working Groups
Steps: 1) Open Git Log for any of local branches 2) Try to cherry pick a commit on the log 3) You see 'Ok' status You should see a message saying that cherry-pick operation did not move HEAD or that the commit was already cherry-picked.
Fixed with http://git.eclipse.org/c/orion/org.eclipse.orion.server.git/commit/?id=7eb4c2ea0aaf4452e96a394431742718cba071d5 and http://git.eclipse.org/c/orion/org.eclipse.orion.client.git/commit/?id=eca4f49edda23c1a2934698862926b6b8f264ae8