Thomas Dy 506832c956 git: make prune-local also remove branches by other users 2 years ago
..
bin 506832c956 git: make prune-local also remove branches by other users 2 years ago