HF RL Explorer

Task: Remove Local Git Tags That Are No Longer on the Remote Repository

Task: Remove Local Git Tags That Are No Longer on the Remote Repository: a task in Terminal-Lego-15k (Harbor dataset). Create a shell script that synchronizes local git tags with a remote repository by removing any local tags that no longer exist on the remote. This simulates the common workflow…

The task

Create a shell script that synchronizes local git tags with a remote repository by removing any local tags that no longer exist on the remote. This simulates the common workflow where one team member deletes tags from the remote, and other team members need to clean up their stale local tags.

Part of PrimeIntellect/Terminal-Lego-15k.