I've tried to revert last pushed commit to branch dev. After doing git push -f I realized that branch master was not at it's latest version on this machine, so I accidentally changed master as well.
My next step was to use different machine, where master was at latest version. The bad step was to run git pull on that machine, which updated all the branches, including master.
Is there any way to revert that last pull?