We made some changes to a branch, committed and merged them to master, then pushed to the remote. Subsequently we made more commits to master and pushed those up, related to the merge.
As it turns out, that merge and the subsequent modifications were the wrong way to go about solving our problem, and we'd like to revert to just before the merge. In looking at the SO Git for beginners guide I see the reset command, but for changes that have already been pushed is that good enough, calling reset and then pushing?
It's not our case here, but suppose that after we had merged, and done some fix-up commits/pushed afterward, there were other, unrelated pushes to master, what's a good way of only undoing our changes and not the unrelated ones?