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
Zur Übersicht
