I have a repository in GitHub and a local repository. I want to completely overwrite GitHub repository with local repository, overwrite everything - commit history, files, everything. These 2 repositories are not related - they are different from each other.
I need it because I made a mistake - I merged 2 unrelated repositories, in the result I have in one repo mix of both, but I have another local folder with no such mistake.
