+1 On other projects, I have script mostly doing:
$ git branch —merged $ git branch -d MERGED $ git remote prune REMOTE Regards JB > Le 8 mai 2021 à 02:35, Ahmet Altay <[email protected]> a écrit : > > Hello all, > > Our git repo has lots of branches for cherry picks, patches, reverts etc. I > believe these are artifacts of github's easy to use online editor. If you no > longer need those, could you please clean them? > > Have a great weekend! > Ahmet
