git pull时ssh: Could not resolve hostname github.com: Name or service not known, fatal: Could ...
and these appear to never be deleted. This results in all these refs being transferred in every push. Even a tiny 1 line change must transfer all this data, making Git very slow.
To read how to use it type ingit gone: $ git goneusage: git gone[-pndD][<branch>=origin]OPTIONS-p prune remote branch-n dry run: list the gone branches-d delete the gone branches-D delete the gone branches forcefullyEXAMPLESgit gone -pn prune and dry rungit gone -d delete the gon...