HF RL Explorer

Delete a Local Git Repository

Delete a Local Git Repository: a task in Terminal-Lego-15k (Harbor dataset). You need to delete a local Git repository from your filesystem. This task simulates a common scenario where you want to completely remove a Git repository that you no longer need.

Part of PrimeIntellect/Terminal-Lego-15k.