O que é a poda de Git?

eu acidentalmente podei alguns ramos remotos e eu realmente não sei qual é a consequência disso (eu cliquei o botão "Pr ... e objectos ". Não percebo o que isto significa. Acho que isto pode ter removido ramos fundidos, mas não tenho a certeza.

Como posso instalar o GitExtensions no Mac OS?

Uso Mac OS High Sierra versão 10. 13. 6 eu quero instalar GitExtensions eu li aqui : https://git-extensions-documen ... alid region tag Se eu correr mono --version no terminal, o resultado será assim: Como posso resolver o novo erro?