HF RL Explorer

Add gh pr revert command to revert merged pull requests

Add gh pr revert command to revert merged pull requests: a task in LegoFlow-SWE (Harbor dataset). Users need a command-line equivalent of the “Revert” button in the GitHub web UI: gh pr revert <PR .

The task

Users need a command-line equivalent of the “Revert” button in the GitHub web UI: `gh pr revert <PR>`.

Part of Lego-X/LegoFlow-SWE.