I accidentally commited to branch dev, instead of feature-branch, and pushed to the remote.  Based on the advice from git undo commit on protected branch?, I took the following steps to undo the commit on dev and commit it to feature-branch
on dev, undo the commit locally and stash it, so I can later commit it to feature-branch:
- git reset --soft HEAD~1
- git restore --staged .
- git stash
- git pull
- git revert SHA-1
- git commit -m "reverting commit made to wrong branch"
- git push
on feature-branch:
- git stash pop
- git add .,- git commit -m "making commit in the right place"
Great.  At this point, dev is back to where it was before I wrongfully made the commit there, and feature-branch has the new changes.  I then did some more work and added more commits to feature-branch.
After creating a pull request from feature-branch to dev and merging it in, it seems the commit that was reverted is not present on dev.
What is happening here?
For now I will just create a new branch and manually rewrite the commit, but I don't comprehend why this series of events has led me to see a diff in my IDE (vscode and gitlens), but github is telling me there is no diff?
 
    