|
|
|
|
|
|
|
Re: Revert of a merge commit [message #1715668 is a reply to message #1715621] |
Wed, 25 November 2015 07:50 |
Christian Halstrick Messages: 274 Registered: July 2009 |
Senior Member |
|
|
You need to follow our contributor guide https://wiki.eclipse.org/EGit/Contributor_Guide. When you have EGit and JGit sources in your eclipse compiling without errors (with API-baseline tooling turned on as described in the guide) you are ready to go. I don't know much about the Eclipse UI programming but I can help with the semantics you need to implement in JGit. A revert of a merge commit m which has as mainline parent commit p1 is nothing else as a merge of commits (HEAD, p1) with common predecessor m. When you are ready with preparations I can help with that.
-
Ciao
Chris
|
|
|
Powered by
FUDForum. Page generated in 0.02884 seconds