I accidentally did a git pull origin master
from dev, and master got merged into dev.
Is it possible to unmerge?
I've already seen different solutions, i tried this one from both dev and master :
git revert -m 1 <commit>
(once each)
But i got : Everything is up-to-date, each time