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 done it too fast, so I used git-revert to undo the merge. Now, however, the time has come to merge 28s into develop, but git-merge command sees the original merge, and happily announces that all is well and branches have been already merged. What do I do now? Create a ‘Revert “Revert “28s -> develop”” ‘ commit? Doesn’t seem to be a good way to do it, but I can’t imagine any other at the moment.
What the tree structure looks like:

You have to “revert the revert”. Depending on you how did the original revert, it may not be as easy as it sounds. Look at the official document on this topic.
to allow: