Community
Participate
Working Groups
Build Identifier: Eclipse modeling tool 3.7.1, build-id=20110916-0149, egit=1.3 After "reset --hard" command, we should have "ORIG_HEAD" set to previous value of HEAD. git does this but not Egit, so we have to use reflog instead. BR Jerome Reproducible: Always
Proposed fix pushed to https://git.eclipse.org/r/5933
Merged into stable-2.0 in commit 058c74d8adcfb5ef0eed203a64b7f9ff65e87c8c
Fix works. Thank you BR Jerome