Community
Participate
Working Groups
I just got real world conflicts when fixing bug 343918 . In my case I had to use "git reset --hard HEAD" to undo my commit and pull again as the incoming changes happened to resolve my issue. We need a support to let user undo the last commit and pull the change so that the local changes on the client file is overwritten. If they decide to do so , user does not need to manually resolve the conflict and push if they decide to do so.
+1. I had real world conflicts yesterday when committing a small change to navigate-table and colliding with a very large from Boris' file client refactoring. The diffs scared me and most were unknown to me. I knew that my change was simply a variable rename, so I wanted to just take Boris' work and then make my change again rather than merge manually.
Sounds like a subtask of bug 338202 to me.
Fixed with http://git.eclipse.org/c/e4/org.eclipse.orion.server.git/commit/?id=39fcadc5998b912d5e97823235546c08cd35cd15 [1]. You should be now able to hard reset all changes in index and working tree. Resetting a single file is still not available, blocked by bug 338701 in JGit. [1] Ignore the comment there, the fix is for this bug, not bug 338202.