Community
Participate
Working Groups
Currently, GitFileStore pushes changes with org.eclipse.egit.core.op.PushOperation. Replacing it with org.eclipse.jgit.api.PushCommand should be straightforward and would move us closer to fixing bug 334092.
Created attachment 187426 [details] Fix v01 PushOperation from egit.core replaced with PushCommand from jgit
Created attachment 187427 [details] mylyn/context/zip
Pushed to dev.eclipse.org.