tool to prune merged git branches