Today I learned how to automatically delete local git branches that have been merged already.
Thank you MathGurl for having inspired me so much.