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
git merge undo?undoandredo