I am using git and there were some files pushed by another user over a space of a few commits, which should not have been pushed yet. They are the most recent commits, and I can see in git log the last good commit that I would like to reset my local system to, and then push all local changes back so that the system is in a clean state again
How do I do this? We are using a repo on github, if it makes any difference.
The intent afterwards is for that user to then do a pull, resolve conflicts locally, and henceforth be advised against pushing stuff that isn't ready to be pushed yet. But of course, I need to get the cloud repo back to a good state first.