Comment by henshao

"git delete gone branches" is a one liner that you can google. first stack overflow result gives you the answer:

    git remote prune origin

Why would you use this 50 line script to do the same?