Skip to content

Instantly share code, notes, and snippets.

@pedroamador
Created March 16, 2023 06:13
Show Gist options
  • Save pedroamador/052985b0f17f9f5960cbe7cedbcd8c44 to your computer and use it in GitHub Desktop.
Save pedroamador/052985b0f17f9f5960cbe7cedbcd8c44 to your computer and use it in GitHub Desktop.
Borrar ramas ya mergeadas de un repositorio
for a in $(git branch -a --merged|grep "remotes/origin/feature/"); do git push -u origin :${a:15}; done
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment