A programmer has just added a new code file to the repository and saved the changes to the server. It was the last commit he made. But after a minute it turned out that he had mixed up the files. What command should he use to fix the error and to revert the last wrong commit?