Today I learned how to delete local git branches that have been merged to the main remote branch. There are a
bunch of sites that give instructions or packages for this, but I always have to search for them. So this is meant to be my reminder to myself of how I like to do this. This approach will work on Linux and macOS (bash or zsh).
Read more...