I have run into a bit of a problem here: I had a problem-specific branch 28s in Git, that I merged in the general develop branch. Turns out I had d
Instead of using git-revert you could have used this command in the devel branch to throw away (undo) the wrong merge commit (instead of just reverting it).
git checkout devel
git reset --hard COMMIT_BEFORE_WRONG_MERGE
This will also adjust the contents of the working directory accordingly. Be careful:
git-reset. All commits after the one you specify as
the git reset argument will be gone!I recommend to study the git-reset man-page carefully before trying this.
Now, after the reset you can re-apply your changes in devel and then do
git checkout devel
git merge 28s
This will be a real merge from 28s into devel like the initial one (which is now
erased from git's history).