Community
Participate
Working Groups
The editor header already contains actions like "Tag", "Branch", "Checkout" and "Cherry-pick". I think "Revert" is going to fit there nicely.
Found bug 372109 and bug 372111 while working on this one.
A patch has been pushed to Gerrit: https://git.eclipse.org/r/#/c/5133/1
merged as cc0b097a1c25c5df6e6bffacc18f5551f8ff5660