HF RL Explorer

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.