I have a team member who inadvertently pushed over 150 of his local branches to our central repo. Thankfully, they all have the same prefix. Using that prefix, is there a gi
The same with grep: git branch -r | grep -Eo 'PREFIX/.*' | xargs -i git push origin :{}.
git branch -r | grep -Eo 'PREFIX/.*' | xargs -i git push origin :{}
branch -r shows origin/prefix/branchname. So it will take prefix/branchname.
branch -r
origin/prefix/branchname
prefix/branchname