How can I undo a commit that should never have been made, when 17 commits have been made afterwards?
Background: a colleague in my team worked solo for a month, and now its time to merge their branch to the master. However, one of the commits contains a single file that's far too big to upload to GitHub. They tried reverting the commit but GitHub still wants to upload the file in order to remove it again, so we can't just revert the initial faulty commit.
So how can we undo that commit as if it never happened? We have GitBash and Github Desktop.