Task: Undo a Git Commit Locally and on a Remote After Git Push
Task: Undo a Git Commit Locally and on a Remote After Git Push: a task in Terminal-Lego-15k (Harbor dataset). You have a Git repository where a commit has already been pushed to a remote repository. Your task is to undo (revert) that commit both locally and on the remote, so that the changes…
The task
You have a Git repository where a commit has already been pushed to a remote repository. Your task is to undo (revert) that commit both locally and on the remote, so that the changes introduced by that commit are no longer present in the repository history on either side.
Part of PrimeIntellect/Terminal-Lego-15k.