How should we clean up our branches? We have a lot
git branch -r --merged shows the remote branches that have been merged to main
git branch -r --no-merged shows the remote branches that have not been merged to main.
These are either abandoned or squash-merged
Then git push origin --delete