Git Branch Cleaner

Wenn ihr wie ich seid, sammeln sich bei euch im Laufe der Zeit bestimmt auch 1000 lokale git branches an.

Es gibt ein Plug-in, um die überflüssigen git branches einfach zu löschen:

https://plugins.jetbrains.com/plugin/10059-git-branch-cleaner