So I accidentally pushed some big files to Github on master branch.
After I did that, I tried doing:
git reset --soft HEAD~2
then I removed the big files, committed, then tried pushing to the remote master, but I get an error saying my local branch is missing commits from the remote master branch.
What should I do? Was there something I should have done instead other than using git reset --soft
?