Task: Undo a Particular Commit in Git That Has Been Pushed to Remote

Task: Undo a Particular Commit in Git That Has Been Pushed to Remote: a task in Terminal-Lego-15k (Harbor dataset). Demonstrate how to undo a specific commit in a Git repository that is not the latest commit (not at HEAD) and has already been pushed to a remote repository. The solution must: