@manton I have a shell script that does git remote update origin --prune; git branch --merged | egrep -v "(^\*|main|master|dev)" | xargs git branch -d which over the years hasn’t caused any issues.
