3 ms·Simple and efficient way to delete remote merged branches from Git repository1 points by arzzen 9y ago